Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft (AIAA 2015-1645)


    Beteiligte:

    Kongress:

    Infotech@aerospace (Conference)



    Erscheinungsdatum :

    2015-01-01


    Format / Umfang :

    13 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Verification of Real-Time Systems using Statistical Model Checking (AIAA 2015-1866)

    Hansen, Jeffery P. / Wrage, Lutz / Chaki, Sagar et al. | British Library Conference Proceedings | 2015


    Requirements and Design Challenges in Rotorcraft Flight Simulations for Research Applications (AIAA 2015-1808)

    Viertler, Franz / Hajek, Manfred | British Library Conference Proceedings | 2015


    AIAA-2006-6684 Vision-Based Control for Unmanned Rotorcraft

    Jones, C. / Heyder-Bruckner, J. / Richardson, T. et al. | British Library Conference Proceedings | 2006


    Mooring module for unmanned rotorcraft and unmanned rotorcraft

    GAN XINHUI / SONG LIANG / YAO LIANXI et al. | Europäisches Patentamt | 2020

    Freier Zugriff