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


    Published in:

    Langley formal methods ; 10176 ; 91-105


    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.A. / Jackson, D.M. | IEEE | 1992


    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