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 :

    2001-01-01


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Modelling Techniques for Efficient Development of Railway Control Products

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


    Formal specifications of railway signalling systems using Stateflow

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



    Formal methods for railway signalling

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


    Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems

    Rao, A.C. / Dixit, M.G. / Sethu, R. et al. | British Library Conference Proceedings | 2011