ETR
ETR – Eisenbahntechnische Rundschau | Ausgabe 03/2023

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

März 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

Mehr Artikel aus dieser Ausgabe: