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