ABZ (Case Study)

Keyphrases

Publications

2014

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) (2014)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System Using ProB. ABZ (Case Study) (2014)
Richard Banach
The Landing Gear Case Study in Hybrid Event-B. ABZ (Case Study) (2014)
Wen Su, Jean-Raymond Abrial
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. ABZ (Case Study) (2014)
Amel Mammar, Régine Laleau
Modeling a Landing Gear System in Event-B. ABZ (Case Study) (2014)
Philippe Dhaussy, Ciprian Teodorov
Context-Aware Verification of a Landing Gear System. ABZ (Case Study) (2014)
Vitaly Savicks, Michael J. Butler, John Colley
Co-simulation Environment for Rodin: Landing Gear Case Study. ABZ (Case Study) (2014)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. ABZ (Case Study) (2014)
Frédéric Boniol, Virginie Wiels
The Landing Gear System Case Study. ABZ (Case Study) (2014)
Felix Kossak
Landing Gear System: An ASM-Based Solution for the ABZ Case Study. ABZ (Case Study) (2014)
Dominique Méry, Neeraj Kumar Singh
Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) (2014)

volume 433, 2014

ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings ABZ (Case Study) 433 (2014)