Projects
- 2 Finished
Search results
-
Finished
UK Trustworthy Autonomous Systems Verifiability Node
CAVALCANTI, A. L. C. (Principal investigator) & Woodcock, J. C. P. (Co-investigator)
1/11/20 → 31/10/24
Project: Research project (funded) › Research
-
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
CAVALCANTI, A. L. C. (Principal investigator), TIMMIS, J. (Co-investigator) & Woodcock, J. C. P. (Co-investigator)
1/04/18 → 31/08/24
Project: Research project (funded) › Research