1–12 von 12 Ergebnissen
|

    Customising ERTMS/ETCS

    Wernicke, M. | 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

    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

    Formal specifications of railway signalling systems using Stateflow

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

    Method for modelling real failures in railway system

    Peltekova, M. / Bonev, T. | Tema Archiv | 2007

    Risk analysis models for level crossing operation

    Baldassarra, A. / Impastato, S. | Tema Archiv | 2007

    Generation of counterexamples for Multi-Object Systems

    Kollmann, M. / Hon, Y.M. | Tema Archiv | 2007

    Functional hazards analysis for railway safety

    Rafrafi, M. / El Koursi, E.M. | Tema Archiv | 2007