Zugriff

    Zugriff prüfen

    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


    Beteiligte:

    Kongress:

    AIAA Infotech @ Aerospace



    Erscheinungsdatum :

    01.01.2015




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




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

    Torens, Christoph / Adolf, Florian-Michael | British Library Conference Proceedings | 2015


    Software Verification Considerations for the ARTIS Unmanned Rotorcraft

    Torens, Christoph / Adolf, Florian | AIAA | 2013


    Software Verification Considerations for the ARTIS Unmanned Rotorcraft

    Torens, C. / Adolf, F. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013


    Mooring module for unmanned rotorcraft and unmanned rotorcraft

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

    Freier Zugriff

    Amphibious unmanned rotorcraft

    LAN JINSONG / LAN TIANWEI | Europäisches Patentamt | 2016

    Freier Zugriff