Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification for Fault-Tolerant Architectures/PVS Design



    Kongress:

    Workshop; 3rd, Langley formal methods ; 1995 ; Hampton; VA


    Erschienen in:

    Langley formal methods ; 10176 ; 91-105


    Erscheinungsdatum :

    01.01.1995


    Format / Umfang :

    15 pages


    Anmerkungen:

    Also known as LFM 95


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Verification of a Fault-Tolerant Computer

    Brock, N. / Jackson, D. M. / IEEE et al. | British Library Conference Proceedings | 1992


    Fault tolerant EHA architectures

    Sadeghi, T. / Lyons, A. | IEEE | 1992


    Formal verification of layered sensing architectures

    Tyler, B / Langdon, A / Chawla, P | IEEE | 2010



    Fault Tolerant Avionics Systems Architectures Study

    L. R. Murphy / A. A. Avizienis / D. A. Rennels et al. | NTIS | 1974