Department of Computer System, Networks and Technologies, Institute of Nuclear Power Engineering (INPE) Studgorodok 1, Obninsk, Kaluga region 249020, Russia;
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:安全关键软件算法运行的安全,危险和灾难性不可避免性:可能的新看软件安全分析
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:敏捷方法的开源安全关键软件
机译:基于系统模型和软件模型共分析的安全关键系统软件FMEA
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件