Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal methods for railway operation and control systems


    Beteiligte:

    Kongress:

    Symposium FORMS 2003 ; 2003 ; Budapest Symposium FORMS 2003 (Budapest) : 2003.05.15-16


    Erscheinungsdatum :

    2003


    Format / Umfang :

    V, 371 S.


    Anmerkungen:

    graph. Darst.
    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    55.34 Bahnbetriebstechnik



    Formal Specification of Railway Control Systems

    Xu, Bingqing / Zhang, Lichen | Springer Verlag | 2013


    Formal methods for railway signalling

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


    Formal Development and Verification of Railway Control Systems

    Vu Hong, Linh / Haxthausen, Anne Elisabeth / Peleska, Jan | BASE | 2013

    Freier Zugriff

    Application of Formal Methods to the Railway Signalling Systems

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


    Formal Software Techniques for Railway Systems

    Bjorner, D. / International Federation of Automatic Control | British Library Conference Proceedings | 2001