机译:Olkiluoto 3:安全测试和检查的最高要求
机译:监管机构在Olkiluoto-3开始对安全文化进行特别检查
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:基于安全要求的安全关键软件系统自动安全测试方法
机译:保守的设计实践,结构部件安全性中的测试和检查的相互作用。
机译:小型企业管理安全分析:员工亲社会安全行为与政府检查的双重影响
机译:基于健身中心房屋监督检查结果的侵犯消防安全要求的研究