Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Modelling Techniques for Efficient Development of Railway Control Products


    Beteiligte:
    Butler, M. (Autor:in) / Dghaym, D. (Autor:in) / Fischer, T. (Autor:in) / Hoang, T. S. (Autor:in) / Reichl, K. (Autor:in) / Snook, C. (Autor:in) / Tummeltshammer, P. (Autor:in)

    Kongress:

    Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy



    Erscheinungsdatum :

    01.01.2017


    Format / Umfang :

    16 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Formal Software Techniques for Railway Systems

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


    Formal Development and Verification of Railway Control Systems

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

    Freier Zugriff

    Formal Specification of Railway Control Systems

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