Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Modelling Techniques for Efficient Development of Railway Control Products


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

    Conference:

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



    Publication date :

    2017-01-01


    Size :

    16 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    Unknown



    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

    Free access


    Formal Specification of Railway Control Systems

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