1–10 von 36 Ergebnissen
|

    Customising ERTMS/ETCS

    Wernicke, M. | Tema Archiv | 2007

    Formal structuring for development of level crossing ontology

    Drewes, J. / Slovak, R. / Tordai, L. et al. | Tema Archiv | 2007

    Using architecture exploration in the development of an automated train operation platform

    Huhn, M. / Florentz, B. / Zechner, A. et al. | Tema Archiv | 2007

    Modeling and formal verification of counting heads for railways

    Kinder, Sebastian / Drechsler, Rolf | Tema Archiv | 2007