机译:NUREG / CR-6430软件安全危险分析对FPGA软件的实际应用
机译:飞机安全关键软件正式验证技术研究
机译:生命关键软件系统的安全性分析:以核电厂为例
机译:软件安全功能危险评估:对安全关键软件决策点的严格(LOR)的聚焦水平
机译:通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
机译:预防非传染性疾病的食品安全和营养质量:营养危害分析和关键控制点流程(NACCP)
机译:整合系统安全分析的过程标准,提高军用飞机初始适航认证的效率:系统工程视角
机译:safety-Critical211软件需求分析与安全分析的集成