Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An Approach for Eliminating Mode Confusion



    Kongress:

    55th, International air safety seminar; Keeping safety a worldwide priority ; 2002 ; Dublin



    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    8 pages


    Anmerkungen:

    Held jointly with the 32nd international conference of the International Federation of Airworthiness and the International Air Transport Association



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Methods Approach to the Analysis of Mode Confusion

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


    Analyzing Mode Confusion via Model Checking

    Luettgen, Gerald / Carreno, Victor | NTRS | 1999


    A Formal Methods Approach to the Analysis of Mode Confusion

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


    User Interface Validation using Mode Confusion Detection

    Nandiganahalli, J. / Lee, S. / Hwang, I. et al. | British Library Conference Proceedings | 2014


    Analyzing Software Specifications for Mode Confusion Potential

    Leveson, Nancy G. / Pinnel, L. Denise / Sandys, Sean David et al. | NTRS | 1998