Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Constructing Human-Automation Interfaces: A Formal Approach



    Kongress:

    International conference on human-computer interaction in aeronautics ; 2002 ; Cambridge, MA



    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    7 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Model-based test automation for automotive human machine interfaces

    Stolle, Reinhard / Benedek, Thomas / Knuechel, Christian | Tema Archiv | 2005


    Formal Specification Method for Systems Automation

    Petin, J.-F. / Morel, G. / Panetto, H. | British Library Online Contents | 2006


    Formal Analysis of Human Automation Interaction: The Problem of Display Correctness

    Degani, Asaf / Heymann, Michael / Austin, David et al. | NTRS | 1998



    Visualizing automation in aviation interfaces

    KIRLIK, ALEX / ACKERMAN, KASEY / SEEFELDT, BENJAMIN et al. | TIBKAT | 2017