Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification of a Redundancy Management Algorithm



    Conference:

    52nd Symposium, Software for guidance and control ; 1991 ; Helexpo; Greece



    Publication date :

    1991-01-01


    Size :

    12/1-12/6



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Verification of redundancy management design

    Gelderloos, H. C. / Wilson, D. V. | NTRS | 1978


    Handbook: Design of automated redundancy verification

    Ford, F. A. / Hasslinger, T. W. / Moreno, F. J. | NTRS | 1971


    COMPREHENSIVE REDUNDANCY MANAGEMENT AND VERIFICATION STRATEGY FOR TASK-BASED AIR MANAGEMENT SYSTEM

    He, C.-J. / Wang, L.-I. / Yang, J.-H. | British Library Conference Proceedings | 2021


    Formal Verification of a Conflict Resolution and Recovery Algorithm

    Maddalon, Jeffrey / Butler, Ricky / Geser, Alfons et al. | NTRS | 2004


    Formal Verification of a Conflict Resolution and Recovery Algorithm

    J. Maddalon / R. Butler / A. Geser et al. | NTIS | 2004