退出
我的积分:
中文文献批量获取
外文文献批量获取
颜运强; 漆莲芝; 陈泉根;
中国工程物理研究院软件评测中心,四川绵阳621999;
嵌入式软件; 全生命周期; 质量控制; 形式化验证; 仿真验证;
机译:SoC(芯片系统系统)嵌入式软件开发中质量控制过程水平的测量和管理
机译:缺陷预测模型在嵌入式软件开发质量控制中的应用
机译:抛出安全生命周期管理是关键安全系统保持最新
机译:所有首都哪里都在哪里? 看看关键美国页岩剧上的全生命周期经济学
机译:Sankofa,Aggiornamento和Jubilee:回顾昨天,设想今天,并设想明天:黑人天主教徒妇女向教会传福音
机译:心肌细胞线粒体质量控制:在心血管疾病进展中的关键作用。
机译:SoC(片上系统)嵌入式软件开发中质量控制流程水平的度量和管理
机译:多核嵌入式平台能够正确合成关键任务嵌入式软件的形式化方法
机译:嵌入式软件开发支持系统,嵌入式软件开发支持方法和嵌入式软件开发支持程序
机译:组件设置为坟墓,以设想是骨灰坛时代还是。马来插座,用于设想骨灰bar。
机译:基于本地构建及其装置提供支持嵌入式软件开发环境的嵌入式软件开发工具的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。