Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Amel Mammar
Latest
An Event-B Model of a Mechanical Lung Ventilator
An Event-B Model of an Automotive Adaptive Exterior Light System
Modeling of a Speed Control System using Event-B
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach
Modeling a Landing Gear System in Event-B
Cite
×