Author:
Bolton Matthew L.,Bass Ellen J.
Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Arney D, Jetley R, Jones P, Lee I, Sokolsky O (2007) Formal methods based development of a PCA infusion pump reference model: generic infusion pump (GIP) project. In: Proceedings of the 2007 joint workshop on high confidence medical devices, software, and systems and medical device plug-and-play interoperability. IEEE Computer Society, Washington, DC, pp 23–33
2. Baxter Health Care Corporation (1995) Ipump pain management system operator’s manual. Baxter Heath Care Corporation, McGaw Park
3. Bolton ML, Bass EJ (2009) Building a formal model of a human-interactive system: insights into the integration of formal methods and human factors engineering. In: Proceedings of the first NASA formal methods symposium. NASA Ames Research Center, Moffett Field, pp 6–15
4. Bolton ML, Bass EJ (2009) Enhanced operator function model: a generic human task behavior modeling language. In: Proceedings of the IEEE international conference on systems, man, and cybernetics. IEEE, Piscataway, pp 2983–2990
5. Bolton ML, Bass EJ (2009) A method for the formal verification of human-interactive systems. In: Proceedings of the 53rd annual meeting of the human factors and ergonomics society. Human Factors and Ergonomics Society, Santa Monica, pp 764–768
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. A Formal Method for Assessing Mental Workload;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
3. Cognitive Modeling for Cognitive Engineering;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11
4. Computational Modeling in Various Cognitive Fields;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11
5. A formal method for including the probability of erroneous human task behavior in system analyses;Reliability Engineering & System Safety;2021-09