实时系统时序规范的优化 电子书下载

原名:Optimization of Real-Time Systems Timing Specifications
作品简介:抽象的。实时逻辑 (RTL) 对于根据实时系统的规范 SP 验证安全断言 SA 非常有用。自从……