Issue 2/2017
ABZ 2014
Content (7 Articles)
Introduction
The landing gear case study: challenges and experiments
Frédéric Boniol, Virginie Wiels, Yamine Aït-Ameur, Klaus-Dieter Schewe
ABZ 2014
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
Wen Su, Jean-Raymond Abrial
ABZ 2014
Validation of the ABZ landing gear system using ProB
Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
ABZ 2014
Environment-driven reachability for timed systems
Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux
ABZ 2014
Rigorous development process of a safety-critical system: from ASM models to Java code
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene