Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Meryem Afendi
Latest
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
Modelling Hybrid Programs with Event-B
Cite
×