Task analysis; Human-human communication; Air traffic control; Formal methods; Model checking; Human error;
机译:使用任务模型和误传生成模型检查人与人之间的通信协议
机译:通信协议验证中的定向显式模型检查
机译:使用模型驱动的体系结构和旋转模型检查器设计和验证通信协议
机译:通过误通信生成和模型检查评估人-人通信协议
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:使用不同风险计算器在NHS Health Check中进行心血管疾病风险沟通的定性研究:NHS Health Check(RICO)研究中RIsk通讯的方案
机译:一种验证代理通信协议的新模型检查方法