Drexel University.;
机译:特殊问题的序言:安全关键系统的设计和分析中的轻量级实用形式方法
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:形式方法及其在铁路安全关键系统中的应用
机译:形式化方法在安全关键型系统的需求分析中的作用:火车示例
机译:使用错误传播信息增强安全关键系统的危害分析方法
机译:使用正式方法应对智能制造系统的性能挑战:关注敏捷性
机译:安全关键系统,正式方法和标准