ISBN 9783540857778,Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Rs5207

Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540857778

ISBN-10 354085777X
Binding

Paperback

Number of Pages 314 Pages
Subject

Algorithms & data structures

Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Scroll