一种基于抽象解释的WCET自动分析工具

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

一种基于抽象解释的WCET自动分析工具

姬孟洛;李军;王馨;齐治昌

An Automatic WCET Analysis Tool Based on Abstract Interpretation

JI Mengluo; LI Jun;WANG Xin; QI Zhichang

计算机工程 . 2006, (14): 54 -56 . DOI: 10.3969/j.issn.1000-3428.2006.14.020