Michael Poppleton

Latest

• Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
• A Pattern for Modelling Fault Tolerant Systems in Event-B
• A Basis for Feature-Oriented Modelling in Event-B
• The Composition of Event-B Models