机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
Department of Computer Science University of California Santa Barbara CA 93106 USA;
Infinite state model checking; Requirements specifications; Safety-critical systems;
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:自动机 - 理论方法,用于通过无限数据域模拟检查系统和规格的方法
机译:使用无限状态模型检查分析表格要求规格
机译:无限状态反应系统的可实现性检查和合成的正式技术
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范