使用有状态定时 csp 建模和验证分层实时系统 电子书下载

原名:Modeling and verifying hierarchical real-time systems using stateful timed csp
作品简介:建模和验证复杂的实时系统是具有挑战性的研究问题。德。验证真实世界和基准系统。……