No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Cook, R. I. (Autor:in) / Woods, D. D. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.05.1996



    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch






    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