Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking
- 8 June 2012
- journal article
- Published by Elsevier BV in International Journal of Human-Computer Studies
- Vol. 70 (11), 888-906
- https://doi.org/10.1016/j.ijhcs.2012.05.010
Abstract
No abstract availableKeywords
This publication has 62 references indexed in Scilit:
- Formally verifying human–automation interaction as part of a system model: limitations and tradeoffsInnovations in Systems and Software Engineering, 2010
- A Method for the Formal Verification of Human-interactive SystemsProceedings of the Human Factors and Ergonomics Society Annual Meeting, 2009
- Formal and experimental validation approaches in HCI systems design based on a shared event B modelInternational Journal on Software Tools for Technology Transfer, 2006
- Safety-relevant mode confusions—modelling and reducing themReliability Engineering & System Safety, 2005
- A Working Memory Model of a Common Procedural ErrorCognitive Science, 1997
- Using GOMS for user interface design and evaluationACM Transactions on Computer-Human Interaction, 1996
- A review of formalisms for describing interactive behaviourPublished by Springer Science and Business Media LLC ,1995
- Timed transition systemsLecture Notes in Computer Science, 1992
- The UAN: a user-oriented representation for direct manipulation interface designsACM Transactions on Information Systems, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987