This book constitutes the refereed proceedings of the 4th
International Conference on Formal Modeling and Analysis of Timed
Systems, FORMATS 2006. The book presents 22 revised full papers
presented together with 3 invited talks. Coverage includes work on
foundations and semantics of timed systems including timed
automata, timed Petri nets, timed MSCs, hybrid automata, timed
process algebra, timed temporal logics, timed abstract state
machines, as well as probabilistic models.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!