退出
我的积分:
中文文献批量获取
外文文献批量获取
张博林; 杨志斌; 周勇; 马燕燕; 黄志球; 薛垒;
南京航空航天大学计算机科学与技术学院 南京 211106;
高安全系统软件开发与验证技术工信部重点实验室 南京211106;
上海航天电子技术研究所 上海201109;
安全关键软件; 火箭发射控制子系统; 组合验证; AADL; UPPAAL;
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:评论:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:将产品线工程技术整合到面向代理的软件工程中,以有效地构建安全关键的多代理系统
机译:敏捷方法的开源安全关键软件
机译:面向AADL中的定时软件体系结构的多同步分析和验证
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:安全关键医疗设备的硬件和软件的自我验证方法
机译:在硬件的软件上下文中的硬件的验证方法和装置,以及在软件的硬件上下文中的软件的验证方法和装置R。
机译:一种用于安全关键软件中的预训练神经网络图像检查方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。