Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Marc Frappier
Latest
Modelling the mechanical lung ventilation system using TASTD
Modelling an Automotive Software System with TASTD
TASTD: A Real-Time Extension for ASTD
An Event-B Model of an Automotive Adaptive Exterior Light System
Modeling of a Speed Control System using Event-B
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3
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
A Translation from Alloy to B
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
Validating the RBAC ANSI 2012 Standard Using B
Modeling the Supervisory Control Theory with Alloy
Cite
×