Formalization of train integrity monitoring systems

Rüdiger, Rasmus (Corresponding author); Becker, Uwe

Aachen : RWTH Aachen University (2022)
Beitrag zu einem Tagungsband

In: IRSA 2021 : Tagungsband, Proceedings : 3rd International Railway Symposium Aachen, Aachen, Germany, 21-23 November 2021 / Herausgeber/Editors: De Doncker, Rik W.; Nießen, Nils; Friesen, Nadine; Schindler, Christian
Seite(n)/Artikel-Nr.: 428-447