Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal development of software in railways safety critical systems



    Conference:

    4th International conference on computer-aided design, manufacture and operation in the railway and other advanced mass transit systems, Railway operations ; 1994 ; Madrid


    Published in:

    Publication date :

    1994-01-01


    Size :

    8 pages


    Remarks:

    In 2 vols; Also known as COMPRAIL 94



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





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

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


    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993



    Formal Verification of Safety-Critical Aerospace Systems

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