Volume 19, Issue 2 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 19, Issue 2

April 2017

ABZ 2014

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

The landing gear case study: challenges and experiments
Frédéric Boniol
Virginie Wiels
Klaus-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 Su
Jean-Raymond Abrial
ABZ 2014 23 September 2015 Pages: 141 - 166
Modeling a landing gear system in Event-B
Amel Mammar
Régine Laleau
ABZ 2014 22 August 2015 Pages: 167 - 186
Validation of the ABZ landing gear system using ProB
Lukas Ladenberger
Dominik Hansen
Michael 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 Teodorov
Philippe Dhaussy
Luka 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 Arcaini
Angelo Gargantini
Elvinia Riccobene
ABZ 2014 04 August 2015 Pages: 247 - 269