Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Mode Confusion Analysis of a Flight Guidance System Using Formal Methods


    Contributors:

    Conference:

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



    Publication date :

    2003-01-01


    Size :

    2D1


    Remarks:

    IEEE cat nos 03CH37449



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Mode confusion analysis of a flight guidance system using formal methods

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


    Formal Methods Approach to the Analysis of Mode Confusion

    R. W. Butler / S. P. Miller / J. N. Potts et al. | NTIS | 2004


    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


    A Formal Methods Approach to the Analysis of Mode Confusion

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