Projects per year
Projects
- 2 Finished
Search results
-
Finished
CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
1/06/18 → 31/07/21
Project: Research project (funded) › Research
-
A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C., Timmis, J., Woodcock, J., De Oliveira Salazar Ribeiro, P. F., Foster, S. D., Li, W. & Miyazawa, A.
1/09/15 → 30/06/21
Project: Research project (funded) › Research