机译:安全关键行业中基于计算机的评估:运输案例
机译:安全关键计算机系统定量安全评估的研究框架
机译:安全关键计算机系统的安全验证:以核电站系统为例
机译:确保基于安全的计算机系统的设计安全
机译:适用于基于模型的安全关键中间件的安全关键系统功能开发过程的评估框架
机译:对安全至关重要的计算机系统的定量安全评估。
机译:公司赞助的上市药物安全评估指南(SAMM)。英国皇家医学会英国医学会和英国制药工业协会药物控制局药物安全委员会(1993年11月)
机译:在半导体行业中使用基于计算机的安全培训来提高安全意识
机译:ORR,NBs和HFBR燃料元件运输包装的核临界安全评估