Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study


    Beteiligte:
    Jafer, Shafagh (Autor:in) / Chhaya, Bharvi (Autor:in) / Durak, Umut (Autor:in) / Gerlach, Torsten (Autor:in)

    Kongress:

    AIAA Modeling and Simulation Technologies Conference



    Erscheinungsdatum :

    2016-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study (AIAA 2016-3521)

    Jafer, Shafagh / Chhaya, Bharvi / Durak, Umut et al. | British Library Conference Proceedings | 2016


    Automatic Generation of Flight Simulation Scenarios with Aviation Scenario Definition Language

    Jafer, Shafagh / Chhaya, Bharvi / Durak, Umut et al. | AIAA | 2018


    Graphical Specification of Flight Scenarios with Aviation Scenario Definition Language (ASDL) (AIAA 2017-1311)

    Jafer, Shafagh / Chhaya, Bharvi / Durak, Umut | British Library Conference Proceedings | 2017


    General aviation landing assistance using formal methods-based system design

    Pointner, Wolfgang / Kotsis, Gabriele / Naderhirn, Michael | IEEE | 2012


    General aviation landing assistance using formal methods-based system design

    Pointner, Wolfgang / Kotsis, Gabriele / Naderhirn, Michael | IEEE | 2012