North Dakota State University.;
机译:飞机安全关键软件正式验证技术研究
机译:安全关键系统级芯片的形式验证技术调查
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:验证安全关键软件:静态和动态方法。
机译:根据1990年安全医疗设备法案的软件质量规定:医院现在是软件矿井中的金丝雀。
机译:基于模型的技术,用于未来对关键实时软件系统的形式验证的集成
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术