Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal development of software in railways safety critical systems



    Kongress:

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


    Erschienen in:

    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    8 pages


    Anmerkungen:

    In 2 vols; Also known as COMPRAIL 94



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    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