退出
我的积分:
中文文献批量获取
外文文献批量获取
常硕; 赵彬; 辛文逵;
空军航空大学航空电子工程系,吉林,长春,130022;
北京航空工程技术研究中心,北京,100076;
运行错误; 抽象解释; 嵌入式软件; 工作原理; 软件测试技术;
机译:使用约束编程和抽象解释技术验证浮点程序
机译:验证的用于解译低级自我修改代码的抽象解释技术
机译:学生数学策略中的抽象水平:将抽象的计算机科学思想应用到初等数学中可以应用什么?
机译:在非统计储层中的Minifrac分析中的应用最新解释技术的应用
机译:动力学系统中的模型抽象:在移动机器人控制中的应用。
机译:分析复杂性在解释技术计划命运中的作用:NASSS框架的经验应用
机译:自电位法的岩土工程应用。报告3.渗漏检测自我潜在解释技术的发展
机译:解释技术过程的方法在过程控制应用中,产品制造过程涉及确定相关值,并使用相关值确定检测点的阈值
机译:基于ANDROID的传感器抽象层在U型健康应用开发中的应用
机译:抽象语法树处理方法,计算机可读存储介质记录程序,计算机可读存储器中记录抽象语法树数据和抽象语法树处理
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。