Formalizing a subset of ERTMS/ETCS specifications for verification purposes
2014
Aufsatz (Zeitschrift)
Englisch
BKL: | 55.84 Straßenverkehr |
Tema Archiv | 2007
|ERTMS/ETCS Consolidation Strategy
IuD Bahn | 2002
|ERTMS/ETCS consolidation strategy
Tema Archiv | 2002
|Tema Archiv | 2004
|