Formal Analysis of Multiple Coordinated HMI Systems
- 25 April 2017
- book chapter
- other
- Published by Springer Science and Business Media LLC in Human–Computer Interaction Series
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System Failures Using Model CheckingProceedings of the Human Factors and Ergonomics Society Annual Meeting, 2010
- Software model checking takes offCommunications of the ACM, 2010
- Toward a wider use of formal methods for aerospace systems design and verificationInternational Journal on Software Tools for Technology Transfer, 2009
- Model Based Testing with Labelled Transition SystemsLecture Notes in Computer Science, 2008
- An approach to formal verification of human–computer interactionFormal Aspects of Computing, 2007
- Safety-relevant mode confusions—modelling and reducing themReliability Engineering & System Safety, 2005
- A tool-supported design framework for safety critical interactive systemsInteracting with Computers, 2003
- A method for predicting errors when interacting with finite state systems. How implicit learning shapes the user's knowledge of a systemReliability Engineering & System Safety, 2002
- Conceptual modelsInteractions, 2002
- Brahms: simulating practice for work systems designInternational Journal of Human-Computer Studies, 1998