University of Virginia.;
机译:生成表型错误的人类行为,以使用模型检查来评估人机交互
机译:包括系统分析中错误人体任务行为的概率的正式方法
机译:评估基于任务的错误人类行为对系统安全性影响的正式方法
机译:使用任务分析行为模型,基于战略知识的错误人类行为生成和模型检查来评估人机交互
机译:一种可访问的认知建模工具,用于评估系统设计过程中的人机交互。
机译:使用模型检查产生表型错误的人类行为来评估人类自动化交互
机译:从任务模型自动生成规范属性,以进行人机交互的形式验证
机译:年轻研究者计划(8.5):通过错误的行为生成和强大的人类任务行为模式预防人类交互系统的复杂故障。