No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Implications of automation surprises in aviation for the future of total intravenous anesthesia (TIVA)


    Contributors:
    Cook, R. I. (author) / Woods, D. D. (author)

    Published in:

    Publication date :

    1996-05-01



    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English






    Verwendung von Model-Center im Projekt TIVA II

    Rodax, Benjamin / Hühne, Claus-Philipp | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2009


    Using code level model checking to discover automation surprises

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


    Verwendung von Model-Center im Projekt TIVA II

    Rodax, Benjamin / Hühne, Claus-Philipp | TIBKAT | 2009