Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
RoboTest meeting
Woodcock, J.
(Advisor)
Cavalcanti, A. L. C.
(Advisor)
Robert M. Hierons (Advisor)
Computer Science
Activity
:
Other
›
Collaboration
Description
Project meeting to discuss, amongst other things, formal testing of probabilistic systems.
Period
7 Nov 2022
Event title
RoboTest meeting
Event type
Other
Degree of Recognition
National
Keywords
RoboTest
Testing
Probability
Related content
Projects
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Project
:
Research project (funded)
›
Research
X