实时系统定时自动机的形式验证，作者：Radek Pelánek 电子书下载

原名:Formal Verification of Real Time Systems Timed Automata by Radek Pelánek
作品简介:实际验证。概括。动机。实时系统建模。两种时间模型：离散时域、连续时域……