Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of a Redundancy Management Algorithm



    Kongress:

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



    Erscheinungsdatum :

    1991-01-01


    Format / Umfang :

    12/1-12/6



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Verification of redundancy management design

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


    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


    Handbook Design of Automated Redundancy Verification

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


    Formal Verification of a Conflict Resolution and Recovery Algorithm

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


    Formal Verification of a Merge Sort Algorithm in SPARK

    Baity, Ryan / Humphrey, Laura R. / Hopkinson, Kenneth | AIAA | 2021