工学 >>> 控制科学与技术 >>> 自动控制理论 控制系统仿真技术 机电一体化技术 自动化仪器仪表与装置 机器人控制 自动化技术应用 自动控制技术其他学科
搜索结果: 1-1 共查到“控制科学与技术 抽象解释”相关记录1条 . 查询时间(0.091 秒)
利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；并在白盒测试工具NPCA的基础上，利用该方法实现了WCET分析工具NPCA-WCET。

中国研究生教育排行榜-条

正在加载...

中国学术期刊排行榜-条

正在加载...

世界大学科研机构排行榜-条

正在加载...

中国大学排行榜-条

正在加载...

人　物-篇

正在加载...

课　件-篇

正在加载...

视听资料-篇

正在加载...

研招资料 -篇

正在加载...

知识要闻-篇

正在加载...

国际动态-篇

正在加载...

会议中心-篇

正在加载...

学术指南-篇

正在加载...

学术站点-篇

正在加载...