联锁系统形式化模型的安全性评估

机译：系统地打破和修复OpenID安全性：形式化分析，半自动实证评估和实际对策

机译：安全关键型实时嵌入式系统的形式化模型和风险评估方法

机译：评估系统模型体系结构的形式化方法

机译：评估联锁系统的全厂安全性

机译：协同信号系统安全性评估的后端交通冲突模型的验证与改进。

机译：在急性心肌梗死的临床前模型中评估间充质基质细胞治疗的安全性和有效性：系统评价方案

机译：使用扩展故障树的EDs（工程演示系统）硬线联锁系统的安全性和可靠性评估

机译：用于地层处置，安全性评估程序和记录介质的安全性评估系统和方法记录地层处置性安全性评估程序的安全性评估系统和方法

机译：新型船舶安全性评估的船舶安全性评估模型和方法及替代设计

机译：一种开发和实现模型的方法，该模型用于形式化描述多组件分布式协作系统，特别是智能柔性生产自动化系统