Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 3/2020

Ausgabe 3/2020

ABZ 2018

Inhaltsverzeichnis ( 8 Artikel )

31.03.2020 | Introduction | Ausgabe 3/2020

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3

Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl

09.07.2019 | ABZ 2018 | Ausgabe 3/2020

The ABZ-2018 case study with Event-B

Jean-Raymond Abrial

06.11.2019 | ABZ 2018 | Ausgabe 3/2020

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin

Paolo Arcaini, Jan Kofroň, Pavel Ježek

26.09.2019 | ABZ 2018 | Ausgabe 3/2020

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum

Alcino Cunha, Nuno Macedo

12.11.2019 | ABZ 2018 | Ausgabe 3/2020 Open Access

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin Snook

15.02.2020 | ABZ 2018 | Ausgabe 3/2020 Open Access

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron

26.10.2019 | ABZ 2018 | Ausgabe 3/2020

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard

Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau

10.10.2019 | ABZ 2018 | Ausgabe 3/2020

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach

Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar

Aktuelle Ausgaben

Premium Partner