Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Research directions regarding the adoption of formal methods in the railway signaling sector: Determinants and next steps for future-proof railways


    Contributors:


    Publication date :

    2020



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Classification :

    RVK:    ZO 2000
    BKL:    55.85 Schienenverkehr / 55.34 Bahnbetriebstechnik



    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014


    Signaling in electric railway operation of swiss federal railways

    Schuler, H.W. | Engineering Index Backfile | 1926


    Automatic Railway Signaling Generation for Railways Systems Described on Railway Markup Language (railML)

    Menendez, Martin Nicolas / Germino, Santiago / Diaz-Charris, Luis David et al. | IEEE | 2024



    The railway noise research unit within Netherlands Railways

    De Wolf, A. J. / Van Buchem, P. J. A. / De Vos, P. H. et al. | British Library Conference Proceedings | 1994