Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jean-Raymond Abrial
Latest
The ABZ-2018 Case Study with Event-B
On B and Event-B: Principles, Success and Challenges
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
The Rodin Platform Has Turned Ten
Formalizing Hybrid Systems with Event-B
Event-B Decomposition for Parallel Programs
A Roadmap for the Rodin Toolset
Cite
×