Model Checking Human–Human Communication Protocols Using Task Models and Miscommunication Generation-Reference-Cited by-同舟云学术

Model Checking Human–Human Communication Protocols Using Task Models and Miscommunication Generation

Published:2015-07 Issue:7 Volume:12 Page:476-489
ISSN:2327-3097
Container-title:Journal of Aerospace Information Systems
language:en
Short-container-title:Journal of Aerospace Information Systems

Author:

Bolton Matthew L.¹

Affiliation:

1. Department of Industrial and System Engineering, University at Buffalo, State University of New York, Buffalo, New York 14260

Publisher

American Institute of Aeronautics and Astronautics (AIAA)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Aerospace Engineering

Link

http://arc.aiaa.org/doi/pdf/10.2514/1.I010276

Reference40 articles.

1. Miscommunication between pilots and air traffic control

2. BarshiI.FarrisC., Misunderstandings in ATC Communication: Language, Cognition, and Experimental Methodology, Ashgate Publishing, Surrey, England, U.K., 2013, p. 270.

3. Buerki-CohenJ. “An Analysis of Tower (Ground) Controller-Pilot Voice Communications,” Federal Aviation Administration, U.S. Dept. of Transportation TR-DOT/FA/4AR-9619, DOT-VNTSC-FAA-95-41, 1995.

Cited by 26 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. Cognitive Modeling for Cognitive Engineering;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11

3. Computational Modeling in Various Cognitive Fields;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11

4. A Critical Review for Trustworthy and Explainable Structural Health Monitoring and Risk Prognosis of Bridges with Human-In-The-Loop;Sustainability;2023-04-07

5. A formal method for including the probability of erroneous human task behavior in system analyses;Reliability Engineering & System Safety;2021-09