机译：第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译：第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
机译：形式化方法在安全关键型系统的需求分析中的作用：火车示例
机译：安全关键系统的基于模型的可用性分析：正式方法框架。
机译：使用正式方法应对智能制造系统的性能挑战：关注敏捷性
机译：形式化方法和关键系统认证
机译：形式化方法在软件认证中的作用：体验报告
