Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Tool Support for Verification and Validation of Adaptive Flight Control Systems


    Beteiligte:
    Schumann, Johann (Autor:in) / Liu, Yan (Autor:in) / Gundy-Burlet, Karen (Autor:in)

    Kongress:

    AIAA Infotech@Aerospace Conference



    Erscheinungsdatum :

    01.01.2009




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Bounded Verification of Adaptive Flight Control Systems

    Tiwari, A. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010



    Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software

    Jacklin, Stephen / Schumann, Johann / Gupta, Pramod et al. | AIAA | 2004