Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2001-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Railway signal interlocking automatic switching positioning safety device

    CUI BOLIN / CAI XIUMEI / LIU NA et al. | European Patent Office | 2025

    Free access

    Automatic instantiation for railway interlocking systems

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


    Safety interlocking system and railway vehicle

    HUANG HAI / WANG JIAN / FU YA'E et al. | European Patent Office | 2024

    Free access

    Railway signal interlocking machine fault analysis system based on interlocking log

    FENG LIANGXING / WU FENG / LI MENG et al. | European Patent Office | 2024

    Free access

    Automatic generation of Petri Net supervisors for railway interlocking design

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