1. The landing gear case study: challenges and experiments

   • Frédéric Boniol
   • Virginie Wiels
   • Klaus-Dieter Schewe

   Introduction 13 July 2016 Pages: 133 - 140

   

2. Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system

   • Wen Su
   • Jean-Raymond Abrial

   ABZ 2014 23 September 2015 Pages: 141 - 166

   

3. Modeling a landing gear system in Event-B

   • Amel Mammar
   • Régine Laleau

   ABZ 2014 22 August 2015 Pages: 167 - 186

   

4. Validation of the ABZ landing gear system using ProB

   • Lukas Ladenberger
   • Dominik Hansen
   • Michael Leuschel

   ABZ 2014 15 August 2015 Pages: 187 - 203

   

5. The landing gear system in multi-machine Hybrid Event-B

   • Richard Banach

   ABZ 2014 Open access 18 December 2015 Pages: 205 - 228

   

6. Environment-driven reachability for timed systems

   • Ciprian Teodorov
   • Philippe Dhaussy
   • Luka Le Roux

   ABZ 2014 23 September 2015 Pages: 229 - 245

   

7. Rigorous development process of a safety-critical system: from ASM models to Java code

   • Paolo Arcaini
   • Angelo Gargantini
   • Elvinia Riccobene

   ABZ 2014 04 August 2015 Pages: 247 - 269