Modeling the Human in Human Factors-Reference-Cited by-同舟云学术

Modeling the Human in Human Factors

Published:2001 Issue: Volume: Page:86-91
ISSN:0302-9743
Container-title:Computer Safety, Reliability and Security
language:
Short-container-title:

Author:

Rushby John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45416-0_9

Reference24 articles.

1. Charles E. Billings. Aviation Automation:The Search for a Human-Centered Approach. Human Factors in Transportation. Lawrence Erlbaum Associates, Mahwah, NJ, 1997.

2. Howard Bowman and Giorgio Faconti. Analysing cognitive behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11(2):132–159, 1999.

3. S. K. Card, T. P. Moran, and A. Newell. The psychology of human-computer interaction. Lawrence Erlbaum Associates, Hillsdale, NJ, 1983.

4. K. Craik. The Nature of Explanation. Cambridge University Press, Cambridge, UK, 1943.

5. Judith Crow, Denis Javaux, and John Rushby. Models and mechanized methods that integrate human factors into automation design. In Kathy Abbott, Jean-Jacques Speyer, and Guy Boy, editors, International Conference on Human-Computer Interaction in Aeronautics:HCI-Aero 2000, pages 163–168, Cépaduès-Éditions, Toulouse, France, September 2000.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Human in the loop;Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2020-06-29

2. The Next Generation of Human-Drone Partnerships: Co-Designing an Emergency Response System;Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems;2020-04-21

3. Architecture Challenges for Intelligent Autonomous Machines;Intelligent Autonomous Systems 13;2015-09-03

4. Using PVS to support the analysis of distributed cognition systems;Innovations in Systems and Software Engineering;2013-04-03

5. The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps;Innovations in Systems and Software Engineering;2013-04-02