Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation


    Contributors:

    Conference:

    Infotech@Aerospace 2012



    Publication date :

    2012-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    2012-2573 Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

    Webster, M. / Cameron, N. / Jump, M. et al. | British Library Conference Proceedings | 2012



    Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

    Torens, Christoph / Adolf, Florian-M. / Goormann, Lukas | AIAA | 2014


    Certification of Unmanned Aircraft (UA)

    Grzegorz Pettke / Wojciech Kozyro / Przemyslaw Galka et al. | DOAJ | 2021

    Free access