Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets
2018
XIV, 163 Seiten
Illustrationen, Diagramme
Langzeitarchivierung durch Universitätsbibliothek Braunschweig
Hochschulschrift
Englisch
Functional safety verification of train control procedure in train-centric CBTC by colored petri net
DOAJ | 2020
|