1–20 von 37 Ergebnissen
|

    Formal structuring for development of level crossing ontology

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

    Customising ERTMS/ETCS

    Wernicke, M. | Tema Archiv | 2007

    Overview of current status for common safety targets and common safety methods

    Cassir, C. / Breyne, T. / Mihm, P. et al. | Tema Archiv | 2007

    A semi-formal condition-event-net-based approach for prooving operational safety of transport systems

    Ständer, Tobias / Drewes, Jörn / Braun, Imma 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

    Formal methods and temporal safety requirements: A level crossing application

    Defossez, F. / Bon, P. / Collart Dutilleul, S. | Tema Archiv | 2007

    Automatic identification of secondary delays based on train describer systems

    Goverde, R.M.P. / Daamen, W. / Hansen, I.A. | Tema Archiv | 2007

    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archiv | 2007

    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archiv | 2007