退出
我的积分:
中文文献批量获取
外文文献批量获取
张家旗; 刘超; 金茂忠;
中国计算机学会;
嵌入式汇编程序; 汇编语言; 软件质量;
机译:汽车嵌入式软件系统中组件约束复杂度的一种度量方法
机译:一种基于预测信息的统计复杂性度量方法,并应用于有限自旋系统
机译:基于仿真的嵌入式汇编程序模型检查
机译:使用CEGAR的嵌入式汇编程序实时属性的模型检查
机译:SQL查询反汇编程序:一种管理大型SQL查询执行的方法。
机译:一种通过单一标记和复合可能性分析全基因组关联的多度量方法
机译:聚结二元系统:一种有效的度量方法
机译:驾驶条件视图运动,一种汽车的复杂性信号传递方法,涉及导出复杂性度量作为驾驶条件复杂性的定量度量,并定量传递复杂性度量
机译:实时嵌入式系统的生成模型,它们在降低与非嵌入式模型相关联的复杂性时可以近似非嵌入式模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。