机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
机译：一种BCMP网络方法来建模和控制自治的按需移动系统
机译：可扩展模型预测控制，用于自动流动性按需系统
机译：结合半正规和正式方法在自动移动性按需系统中的安全控制
机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
机译：肺动脉高压患者中安布森坦波生坦和西地那非安全性和有效性的联合方法（形式调整的间接比较荟萃分析和主成分分析）
机译：使用正式和半正式软件建模方法开发目标识别系统
