Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Mode Confusion Analysis of a Flight Guidance System Using Formal Methods


    Beteiligte:

    Kongress:

    22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN



    Erscheinungsdatum :

    2003-01-01


    Format / Umfang :

    2D1


    Anmerkungen:

    IEEE cat nos 03CH37449



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Mode confusion analysis of a flight guidance system using formal methods

    Joshi, A. / Miller, S.P. / Heimdahl, M.P.E. | IEEE | 2003


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

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


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

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


    A Formal Methods Approach to the Analysis of Mode Confusion

    Butler, Ricky W. / Miller, Steven P. / Potts, James N. et al. | NTRS | 2004


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

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