Safety; Testing; Task analysis; Standards; Software; Fault trees; Taxonomy;
机译:基于神经网络的安全关键控制软件的测试与验证:系统文献综述
机译:网络结构的安全关键系统构建行为模型的系统方法
机译:安全关键系统开发的系统知识教育方法
机译:对安全关键系统的系统和安全证据效率验证方法
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:系统审查审查发展社会处方干预措施的证据该干预措施适用于改善社区环境中提高幸福成果的共同富有成效的方法
机译:用实际形式方法SOFL指定和验证安全关键系统的方法