Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Constructing Human-Automation Interfaces: A Formal Approach



    Conference:

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



    Publication date :

    2002-01-01


    Size :

    7 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Model-based test automation for automotive human machine interfaces

    Stolle, Reinhard / Benedek, Thomas / Knuechel, Christian | Tema Archive | 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