机译：新型透析机软件组件安全性分析中的正式技术
机译：基于软件检查，需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译：应用基于形式概念分析和面向图的技术对类和包组成的重新调制软件体系结构所获得的结果进行比较
机译：基于模型检查的透析机软件组件安全性分析
机译：用于安全关键医疗设备软件控制的正式验证技术。
机译：肺动脉高压患者中安布森坦波生坦和西地那非安全性和有效性的联合方法（形式调整的间接比较荟萃分析和主成分分析）
机译：使用安全技术对软件系统DAIM进行软件故障分析
机译：使用安全分析技术验证形式验证
