Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:


    Erscheinungsdatum :

    2020



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :

    Klassifikation :

    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