原名:An Integrated Timing Analysis Methodology for Real-Time Systems
作品简介:实时系统方法。丹尼尔·克斯特纳时间 (WCET)。维度 1：代码级和系统级 用于验证 .规格 (*.ais)。入口点用户输入 = 边界 实现基于模型和基于模型之间的无缝转换。……
资源下载
VIP免费升级VIP
原名:An Integrated Timing Analysis Methodology for Real-Time Systems
作品简介:实时系统方法。丹尼尔·克斯特纳时间 (WCET)。维度 1：代码级和系统级 用于验证 .规格 (*.ais)。入口点用户输入 = 边界 实现基于模型和基于模型之间的无缝转换。……
