Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)


    Beteiligte:

    Kongress:

    AIAA Infotech Aerospace Conference 2016 ; 2016 ; San Diego



    Erscheinungsdatum :

    2016-01-01


    Format / Umfang :

    13 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2016


    Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | AIAA | 2016


    Flight Deck Mode Confusion Detection Using Intent-based Probabilistic Model Checking (AIAA 2017-0345)

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | British Library Conference Proceedings | 2017


    Intent Inference-Based Flight-Deck Human-Automation Mode-Confusion Detection

    Lee, Sangjin / Hwang, Inseok / Leiden, Kenneth | AIAA | 2015


    Flight Deck Mode Confusion Detection using Intent-based Probabilistic Model Checking

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2017