退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动验证强大动态软件系统
N. Dor; J. Field; D. Gopan; T. Lev-Ami; A. Loginov; R. Manevich; G. Ramalingam; T. Reps; N. Rinetzky; M. Sagiv; R. Wilhelm; E. Yahav; G. Yorsh;
机译:用工厂模拟器自动验证网络物理系统中的控制软件
机译:用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
机译:勘误表:软件体系结构动态演进的规范和验证(系统体系结构期刊(2010)56:10(523-533))
机译:在软件密集型系统中自动验证行为规范。
机译:经过验证的可信赖软件系统
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:自动将数据处理控制权从计算机设备传递到新的过程和系统软件的过程和系统,以平稳自动地从旧的呼叫处理软件切换到新的设备和过程软件,以将数据处理操作从先前加载的第一软件自动转移到第二自动运行的软件设备和过程,以将呼叫逐渐重定向到随后安装的第二软件,以及过程和系统,以在第一应用程序和第二应用程序之间动态链接第一和第二各自的软件模块
机译:在验证新软件的版本与操作软件兼容之后,动态替换提供分布式目录服务的操作软件的系统
机译:核心保护系统CEA处理器动态软件验证试验装置及方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。