ISBN 9783540754534,Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Rs5579

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