Advances in Verification of Time Petri Nets and Timed Automata

【文件属性】：

文件名称：Advances in Verification of Time Petri Nets and Timed Automata

文件大小：3.91MB

文件格式：PDF

更新时间：2013-01-31 10:50:18

Time Petri Nets ， Timed

该书介绍了Time Petr Nets 和 Timed Automata，总结了他们的研究成果，对于从事实时系统形式化方面的研究者比较有用。