ETR
Eisenbahntechnische Rundschau | Issue 03/2023

Unterstützung der ETCS L2 Ausrüstungsplanung durch formale Modellierung des Prüfschritts für Ausstiege aus ETCS L2

March 2023 | Elisabeth Kretschmer, Pedro Lehmann Ibáñez, Volkmar Bachmann, Salome Vogel, Bilal Üyümez, Miroslav Pejic, Andreas Oetting

Unterstützung der ETCS L2 Ausrüstungsplanung durch formale Modellierung des Prüfschritts für Ausstiege aus ETCS L2

Futher articles in this issue: