科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
刘乐; 张奇;
环境保护部核与辐射安全中心,北京100082;
核电厂; 安全审评; 安全系统; 软件单元测试;
机译:核电厂安全关键数字系统软件可靠性的详尽测试案例
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:核电厂安全监控系统软件可靠性分析方法的研究与应用
机译:通过系统软件分析对智能系统进行性能,安全性和安全要求测试
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:加强东欧核安全国际会议。主题报告。核电厂安全的监管方面,安全改进的状况,安全分析报告的状况
机译:在不安全的系统软件和安全的系统软件之间切换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。