Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    He, C.-J. (Autor:in) / Wang, L.-I. (Autor:in) / Yang, J.-H. (Autor:in)

    Kongress:

    International Council of the Aeronautical Sciences



    Erscheinungsdatum :

    2021-01-01


    Format / Umfang :

    6 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    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 Archiv | 1998