Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    Infotech@aerospace (Conference)



    Publication date :

    2015-01-01


    Size :

    13 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | European Patent Office | 2020

    Free access