Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    He, C.-J. (author) / Wang, L.-I. (author) / Yang, J.-H. (author)

    Conference:

    International Council of the Aeronautical Sciences



    Publication date :

    2021-01-01


    Size :

    6 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Verification of redundancy management design

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


    Formal Verification of a Redundancy Management Algorithm

    Draper, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991


    X-33 redundancy management system

    Bolduc, L.P. | IEEE | 2001


    Verification of the redundancy management system for space launch vehicle: a case study

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archive | 1998