Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Oops, "It Didn't Arm." A Case Study of Two Automation Surprises



    Conference:

    International symposium; 8th, Aviation psychology ; 1995 ; Columbus; OH



    Publication date :

    1995-01-01


    Size :

    6 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Oops! Again

    Online Contents | 1997


    The "Oops" Department

    Online Contents | 1993


    Using code level model checking to discover automation surprises

    Tkachuk, O. / Brat, G. / Visser, W. | IEEE | 2002