使用静态分析对信息物理系统软件进行分析与验证 作者：Zhenkai … PDF（免费 | 204 页） 电子书下载

原名:Analysis and Verification of Cyber-Physical System Software Using Static Analysis By Zhenkai … PDF ( Free | 204 Pages )
作品简介:5.2 估计WCET和计算时间开销的实验结果。 125. 6.1 固定。此外，还有经济因素等。数据值范围、由于缓存导致的执行时间变化以及由于执行时间开销。……