1–10 von 36 Ergebnissen
|

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

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

    Tracks and wings - dialogue for safety

    Meyer, D. / Saghi, B. / Tarnai, G. | Tema Archiv | 2007

    Risk analysis models for level crossing operation

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

    Problems related to quantitative appraisal of safety related systems

    Rastocny, K. / Janota, A. / Zahradnik, J. | Tema Archiv | 2007

    Principles of formal verification of interlocking software

    Pavlovic, O. / Pinger, R. / Kollmann, M. et al. | Tema Archiv | 2007

    Principles and dynamic aspects for a rail traffic realtime rescheduling system

    Lüthi, M. / Laube, F. / Weidmann, U. | 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