Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jean-Raymond Abrial
Latest
The ABZ-2018 Case Study with Event-B
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Cite
×