Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Rosemary Monahan
Latest
FRETting and Formal Modelling: A Mechanical Lung Ventilator
Building Specifications in the Event-B Institution: A Summary
Cite
×