用于证明实时系统特性的仿真技术 电子书下载

原名:Simulation techniques for proving properties of real-time systems
作品简介:非常通用的自动机背景下的仿真方法（即，来自已广泛用于无定时系统的仿真方法。……