ISBN 9783540450269,Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Rs5812

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540450269
Check delivery information
 
ISBN 9783540450269
Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9783540450269

ISBN-10 3540450262
Binding

Paperback

Number of Pages 384 Pages
Subject

Applied mathematics

Constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. This book presents 22 revised full papers together with 3 invited talks. It covers coverage that includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, and more.

More from Author

Scroll