Advances in Verification of Time Petri Nets and Timed Automata
该书介绍了Time Petr Nets 和 Timed Automata,总结了他们的研究成果,对于从事实时系统形式化方面的研究者比较有用。
用户评论