Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Methods and their Applications to Safety-Critical Systems of Railways


    Contributors:

    Published in:

    Publication date :

    1995



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown



    Classification :

    Local classification TIB:    355/7030
    BKL:    55.85 Schienenverkehr



    Formal Methods and their Applications to Safety-Critical Systems of Railways

    Ogino, T. / Hirao, Y. | British Library Online Contents | 1995


    Formal development of software in railways safety critical systems

    Dehbonei, B. / Mejia, F. / Wessex Institute of Technology | British Library Conference Proceedings | 1994



    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023


    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014