21–36 von 36 Ergebnissen
|

    Operating rules description using Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | Tema Archiv | 2007

    Operational risk analysis for electronic interlocking systems

    Eberhardt, M. / Beck, R. / Hansen, L. et al. | Tema Archiv | 2007

    Risk analysis models for level crossing operation

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

    Automatic instantiation for railway interlocking systems

    Banci, M. / Gnesi, S. | Tema Archiv | 2007

    Generation of counterexamples for Multi-Object Systems

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

    Object code verification for safety-critical railway control systems

    Peleska, Jan / Haxthausen, Anne E. | Tema Archiv | 2007

    Formal methods and temporal safety requirements: A level crossing application

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

    Problems related to quantitative appraisal of safety related systems

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

    Tracks and wings - dialogue for safety

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

    Principles of formal verification of interlocking software

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