Abstract is missing.
- The Landing Gear System Case StudyFrédéric Boniol, Virginie Wiels. 1-18 [doi]
- Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial SystemWen Su, Jean-Raymond Abrial. 19-35 [doi]
- Modeling and Analyzing Using ASMs: The Landing Gear System Case StudyPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 36-51 [doi]
- Context-Aware Verification of a Landing Gear SystemPhilippe Dhaussy, Ciprian Teodorov. 52-65 [doi]
- Validation of the ABZ Landing Gear System Using ProBDominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel. 66-79 [doi]
- Modeling a Landing Gear System in Event-BAmel Mammar, Régine Laleau. 80-94 [doi]
- Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting ModulePaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 95-109 [doi]
- Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using FiacreBernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc. 110-125 [doi]
- The Landing Gear Case Study in Hybrid Event-BRichard Banach. 126-141 [doi]
- Landing Gear System: An ASM-Based Solution for the ABZ Case StudyFelix Kossak. 142-147 [doi]
- Co-simulation Environment for Rodin: Landing Gear Case StudyVitaly Savicks, Michael J. Butler, John Colley. 148-153 [doi]
- Modeling an Aircraft Landing System in Event-BDominique Méry, Neeraj Kumar Singh. 154-159 [doi]