Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A New Formal Methods Guidebook for the Railway Signalling Domain


    Beteiligte:

    Kongress:

    SmartRaCon Scientific Seminar ; 5. ; 2023 ; Berlin



    Erscheinungsdatum :

    2023


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    BKL:    55.85 Schienenverkehr / 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik



    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archiv | 1989


    A formal approach to railway signalling

    Cullyer, W.J. / Wong, W. | Tema Archiv | 1990


    Application on formal methods to the railway signalling system

    Terada, Natsuki / Fukuda, Mitsuyoshi | IuD Bahn | 2002


    Application of Formal Methods to the Railway Signalling Systems

    Terada, N. / Fukuda, M. | British Library Online Contents | 2002