formal specification; interaction techniques; task models; perti nets; air traffic control;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:嵌入式网络物理系统中可靠性规范的形式评估
机译:正式规范作为对安全关键交互系统进行客观评估的工具
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:在线客观结构化临床检查中测量工具的评估方法和有效性和可靠性:系统范围审查
机译:形式规范作为安全关键交互系统客观评估的工具
机译:从正式规范自动合成安全关键应用的工业强度工具和技术。