ISBN 9783540754534,Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Rs5812

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540754534
Check delivery information
 
ISBN 9783540754534
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540754534

ISBN-10 3540754539
Binding

Paperback

Number of Pages 386 Pages
Subject

Applied mathematics

Constitutes the proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. This book covers work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra and max-plus algebra.
Scroll