A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models
収録刊行物
-
- IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
-
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 41 (5), 961-976, 2011-09
Institute of Electrical and Electronics Engineers (IEEE)
