科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
郭向英;
机译:嵌入式软件验证技术(完):软件配置管理建议
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:现代硬件仿真验证技术概述
机译:嵌入式软件的形式验证技术
机译:从多个来源学习具有复杂目标的紧凑型哈希码,以进行大规模相似性搜索
机译:评论概述简介:规划相关研究问题和目标概述
机译:一种改进UC / OS-II操作系统安全性的自码完整性验证技术
机译:sCaLE-4代码系统概述。
机译:嵌入式软件开发支持系统,嵌入式软件开发支持方法和嵌入式软件开发支持程序
机译:用于多目标的嵌入式软件开发的装置及其方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。