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 :

    01.01.1991


    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


    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 MERGE SORT ALGORITHM IN SPARK

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


    Formal Verification of a Conflict Resolution and Recovery Algorithm

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