March 22, 2018
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
Authors
Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings and Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
Venue
ABZ 2018
Bibtex
@InProceedings(etcsHL3,
Author = {Dominik Hansen and Michael Leuschel and David Schneider and Sebastian Krings and Philipp K\"orner and Thomas Naulin and Nader Nayeri and Frank Skowron},
Title = {{Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains}},
Booktitle = {Proceedings ABZ (International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z)},
Year = 2018,
Series = {Lecture Notes in Computer Science},
Volume = 10817,
Pages = {292--306},
Publisher = {Springer}
)
