Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Verification for Fault-Tolerant Architectures/PVS Design



    Conference:

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


    Publication date :

    1995-01-01


    Size :

    15 pages


    Remarks:

    Also known as LFM 95


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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