Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Software Techniques for Railway Systems



    Kongress:

    IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany



    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Specification of Railway Control Systems

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


    Formal Modelling Techniques for Efficient Development of Railway Control Products

    Butler, M. / Dghaym, D. / Fischer, T. et al. | British Library Conference Proceedings | 2017



    Formal Development and Verification of Railway Control Systems

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

    Freier Zugriff

    Formal specifications of railway signalling systems using Stateflow

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