Constructing Human-Automation Interfaces: A Formal Approach
International conference on human-computer interaction in aeronautics ; 2002 ; Cambridge, MA
2002-01-01
7 pages
Includes bibliographical references and index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model-based test automation for automotive human machine interfaces
Tema Archive | 2005
|Formal Specification Method for Systems Automation
British Library Online Contents | 2006
|Visualizing automation in aviation interfaces
TIBKAT | 2017
|