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
Unterstützung der ETCS L2 Ausrüstungsplanung durch formale Modellierung des Prüfschritts für Ausstiege aus ETCS L2