Arizona State University.;
机译:用于测试和验证网络物理系统的正式要求调试
机译:根据工业网络物理系统的要求自动生成测试用例
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:网络物理系统的一致性测试:从正式基础到汽车应用:Invoke Talk TAP 2020
机译:使用形式化分析和基于搜索的技术来解决需求级别的网络物理系统的保证
机译:网络物理系统中控制模块的正式验证
机译:在计算机物理系统中使用形式概念分析进行控制