Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Richard Banach
Latest
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem
Hemodialysis Machine in Hybrid Event-B
The Landing Gear Case Study in Hybrid Event-B
Invariant Guided System Decomposition
ASM and Controller Synthesis
Continuous ASM, and a Pacemaker Sensing Fragment
Continuous Behaviour in Event-B: A Sketch
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
Model Based Refinement and the Tools of Tomorrow
UseCase-Wise Development: Retrenchment for Event-B
Cite
×