Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Statistical model checking-based performance analysis of the onboard train integrity


    Contributors:

    Conference:

    SmartRaCon Scientific Seminar ; 4. ; 2022 ; San Sebastián; Online



    Publication date :

    2022


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    55.85 Schienenverkehr / 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik




    CHECKING SYSTEM FOR TRAIN INTEGRITY OF VIRTUAL COUPLING TRAIN SETS AND METHOD FOR CHECKING TRAIN INTEGRITY USING THE SAME

    KIM MIN SOO / OH SEH CHAN / KIM YOUNG JU et al. | European Patent Office | 2019

    Free access


    Train-to-train communication based preceding train discovery and the integrity checking method

    KIM KYUNG HEE / CHOI MOON WON / OH SEH CHAN | European Patent Office | 2018

    Free access

    Quantitative Safety Requirements of the New Onboard Train Integrity Function

    Sassi, Insaf / El-Koursi, El-Miloudi / Renaux, Dominique et al. | TIBKAT | 2022