December 18, 2019
Validation and real-life demonstration of {ETCS} hybrid level 3 principles using a formal B model
Authors
Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
Venue
STTT
Bibtex
@Article(Hansen_2020,
Author = {Dominik Hansen and Michael Leuschel and Philipp K\"{o}rner and Sebastian Krings and Thomas Naulin and Nader Nayeri and David Schneider and Frank Skowron},
Title = {{Validation and real-life demonstration of {ETCS} hybrid level 3 principles using a formal B model}},
Journal = {Software Tools for Technology Transfer},
Year = 2020,
Volume = 22
)
