Validation of the ABZ Landing Gear System Using ProB
Co-simulation Environment for Rodin: Landing Gear Case Study
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre