Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study


    Contributors:

    Conference:

    AIAA Modeling and Simulation Technologies Conference



    Publication date :

    2016-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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

    Free access