Author:
Bolton Matthew L.,Bass Ellen J.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Human-Computer Interaction,Control and Systems Engineering,Software
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Provably Clean: A Formal Analysis of Hand Hygiene During Anesthesiology Induction;2024 Systems and Information Engineering Design Symposium (SIEDS);2024-05-03
2. Optimal Strategy Model Checking in Possibilistic Decision Processes;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2023-10
3. Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
4. A Formal Method for Assessing Mental Workload;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
5. Cognitive Modeling for Cognitive Engineering;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11