Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Webster, Matt (Autor:in) / Cameron, Neil (Autor:in) / Jump, Michael (Autor:in) / Fisher, Michael (Autor:in)

    Kongress:

    Infotech@Aerospace 2012



    Erscheinungsdatum :

    01.01.2012




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff