AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
杨亮; 任伍杰;
河南省863软件孵化器有限公司,郑州,450000;
核安全; 关键软件; 验证; 确认技术;
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:安全关键嵌入式软件的软件测试技术
机译:基于FPGA技术的核安全关键软件静态试验技术研究
机译:用于安全关键医疗设备软件控制的正式验证技术。
机译:敏捷方法的开源安全关键软件
机译:安全分析实证评估的对照实验 安全关键软件的技术
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件
机译:用于安全关键型软件开发的基于模型的技术和过程的系统和方法
机译:基于模型的技术和安全关键软件开发过程的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。