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
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献