Unifying Theories of Reactive Design Contracts

Simon David Foster, Ana Lucia Caneca Cavalcanti, Samuel James Canham, JAMES Charles Paul Woodcock, Frank Zeyda

Computer Science

Research output: Contribution to journal › Article › peer-review

2 results

Finished

CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
Foster, S. D.
EPSRC
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., Foster, S. D., Li, W., Miyazawa, A. & Ribeiro, P.
EPSRC
1/09/15 → 30/06/21
Project: Research project (funded) › Research