Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
(PDF英文版)
by Franck Cassez, Claude Jard
Hardcover: 295 pages
Publisher: Springer (October 1, 2008)
ISBN-10: 354085777X
ISBN-13: 978-3540857778
The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
详细介绍在此:http://www.springer.com/book/978-3-540-85777-8