University of Melbourne Melbourne Australia;
University of Twente Enschede The Netherlands;
Halmstad University Halmstad Sweden;
Karlsruhe Institute of Technology Karlsruhe Germany;
VerifyThis; Program verification; Specification languages; Tool development; Competition;
机译:从人为因素的角度对人类对自主车辆的依赖进行的验证
机译:在核控制台设计中使用调查表和虚拟现实验证人为因素问题
机译:基于虚拟现实的实验环境,用于验证装配过程中与人相关的因素
机译:验证这一 - 与人类因素验证竞争
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:野外亲缘鉴定:首个亲缘鉴定比赛
机译:使用生命周期人因工程来避免成本:从Nasa的空间负载人为因素验证过程中吸取的经验教训。