Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 Michael ButlerThai Son HoangKlaus Reichl Introduction 31 March 2020 Pages: 249 - 255
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin Paolo ArcainiJan KofroňPavel Ježek ABZ 2018 06 November 2019 Pages: 265 - 279
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum Alcino CunhaNuno Macedo ABZ 2018 26 September 2019 Pages: 281 - 296
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B Dana DghaymMohammadsadegh DalvandiColin Snook ABZ 2018 Open access 12 November 2019 Pages: 297 - 313
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model Dominik HansenMichael LeuschelFrank Skowron ABZ 2018 Open access 15 February 2020 Pages: 315 - 332
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard Amel MammarMarc FrappierRégine Laleau ABZ 2018 26 October 2019 Pages: 333 - 347
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach Steve Jeffrey Tueno FotsoMarc FrappierAmel Mammar ABZ 2018 10 October 2019 Pages: 349 - 363