退出
我的积分:
中文文献批量获取
外文文献批量获取
张博林;
南京航空航天大学;
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:评论:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:将产品线工程技术整合到面向代理的软件工程中,以有效地构建安全关键的多代理系统
机译:敏捷方法的开源安全关键软件
机译:面向AADL中的定时软件体系结构的多同步分析和验证
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:安全关键医疗设备的硬件和软件的自我验证方法
机译:在硬件的软件上下文中的硬件的验证方法和装置,以及在软件的硬件上下文中的软件的验证方法和装置R。
机译:数据模型转换方法,用于将实体关系模型转换为面向对象的模型,从而允许将实体关系模型与统一的建模语言模型组合
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。