Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Formal Modeling and Analysis of Timed Systems
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Papers were arranged in topical sections on the extension of time and semantic automata; game time and logic, case studies and model-checking of probabilistic systems, verification and testing; time petri nets.
Computer eBook Details
- ISBN-10: 354085777X
- ISBN-13: 9783540857778
- Publisher: Springer
- Pages: 295
- Date: October 2008