Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Application of Formal Methods to the Railway Signalling Systems


    Beteiligte:
    Terada, N. (Autor:in) / Fukuda, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    625.1



    Formal methods for railway signalling

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



    Application on formal methods to the railway signalling system

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


    A formal approach to railway signalling

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


    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archiv | 2007