Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Régine Laleau
Latest
An Event-B Model of an Automotive Adaptive Exterior Light System
Modelling Hybrid Programs with 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
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods
Modeling a landing gear system in Event-B
Modeling a Landing Gear System in Event-B
Validating the RBAC ANSI 2012 Standard Using B
A First Attempt to Express KAOS Refinement Patterns with Event B
Cite
×