Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic Fault-Tree Generation as a Support for Safety Studies of Railway Interlocking Systems



    Kongress:

    IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany



    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Railway signal interlocking automatic switching positioning safety device

    CUI BOLIN / CAI XIUMEI / LIU NA et al. | Europäisches Patentamt | 2025

    Freier Zugriff

    Automatic instantiation for railway interlocking systems

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


    Safety interlocking system and railway vehicle

    HUANG HAI / WANG JIAN / FU YA'E et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    Railway signal interlocking machine fault analysis system based on interlocking log

    FENG LIANGXING / WU FENG / LI MENG et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    Automatic generation of Petri Net supervisors for railway interlocking design

    Durmus, Mustafa S. / Yildirim, Ugur / Soylemez, Mehmet T. | IEEE | 2012