.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Modeling and Analysis of Timed Systems
Paul Pettersson
€ 70.58
FREE Delivery in Ireland
Description for Formal Modeling and Analysis of Timed Systems
Paperback. Constitutes the refereed post-proceedings of the Third International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2005. The papers cover work on semantics and modelling of timed systems, formalisms for modelling and verification, including timed automata, hybrid automata, games for verification and synthesis, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 314 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 451.
This volume contains the proceedings of FORMATS 2005, the Third Inter- tional Conference on Formal Modelling and Analysis of Timed Systems, held in Uppsala, Sweden, September 26-28, 2005, in conjunction with ARTIST2 s- mer school, September 29-October 2, 2005, on Component Modelling, Testing and Veri?cation, and Static Analysis of Embedded Systems. FORMATS is an annual workshop series initiated in 2003. It is dedicated to the advancement of formaltheories,techniquesandsoftwaretoolsformodellingandanalysisoftimed systems. FORMATS 2003 wasassociatedto CONCUR 2003(International C- ference on Concurrency Theory), held in Marseilles, France. FORMATS 2004 was organized in conjunction with FTRTFT (Formal Techniques in Real-Time and Fault Tolerant Systems), Grenoble, ... Read more
This volume contains the proceedings of FORMATS 2005, the Third Inter- tional Conference on Formal Modelling and Analysis of Timed Systems, held in Uppsala, Sweden, September 26-28, 2005, in conjunction with ARTIST2 s- mer school, September 29-October 2, 2005, on Component Modelling, Testing and Veri?cation, and Static Analysis of Embedded Systems. FORMATS is an annual workshop series initiated in 2003. It is dedicated to the advancement of formaltheories,techniquesandsoftwaretoolsformodellingandanalysisoftimed systems. FORMATS 2003 wasassociatedto CONCUR 2003(International C- ference on Concurrency Theory), held in Marseilles, France. FORMATS 2004 was organized in conjunction with FTRTFT (Formal Techniques in Real-Time and Fault Tolerant Systems), Grenoble, ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
314
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
305
Place of Publication
Berlin, Germany
ISBN
9783540309468
SKU
V9783540309468
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Modeling and Analysis of Timed Systems