...
机译:安全要求的均值和全部分可追溯性分析
Korea Atomic Energy Research Institute, Daejeon, Republic of Korea;
rnInstitute for Energy Technology, Haiden, Norway;
rnKorea Advanced Institute of Science and Technology, Daejon, Republic of Korea;
rnInstitute for Energy Technology, Haiden, Norway;
cognitive safety engineering; means-ends and whole-part; traceability; safety;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:在安全性和安全性评估的组合过程中调查可追溯性要求的实现
机译:提出可追溯安全要求的层次安全分析的案例研究
机译:小美食设施中预防控制要求及可追溯性基础设施的现状分析
机译:基于区块链的食品安全风险可追溯性可视化分析新方法
机译:Ta-55最终安全分析报告比较文件和DOE安全评估报告要求