The landing gear case study: challenges and experiments Frédéric BoniolVirginie WielsKlaus-Dieter Schewe Introduction 13 July 2016 Pages: 133 - 140
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system Wen SuJean-Raymond Abrial ABZ 2014 23 September 2015 Pages: 141 - 166
Modeling a landing gear system in Event-B Amel MammarRégine Laleau ABZ 2014 22 August 2015 Pages: 167 - 186
Validation of the ABZ landing gear system using ProB Lukas LadenbergerDominik HansenMichael Leuschel ABZ 2014 15 August 2015 Pages: 187 - 203
The landing gear system in multi-machine Hybrid Event-B Richard Banach ABZ 2014 Open access 18 December 2015 Pages: 205 - 228
Environment-driven reachability for timed systems Ciprian TeodorovPhilippe DhaussyLuka Le Roux ABZ 2014 23 September 2015 Pages: 229 - 245
Rigorous development process of a safety-critical system: from ASM models to Java code Paolo ArcainiAngelo GargantiniElvinia Riccobene ABZ 2014 04 August 2015 Pages: 247 - 269