Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings: 6246 (Lecture Notes in Computer Science, 6246)
. Ed(S): Chatterjee, Krishnendu; Henzinger, Thomas A.
€ 66.90
FREE Delivery in Ireland
Description for Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings: 6246 (Lecture Notes in Computer Science, 6246)
paperback. Constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. This title includes 14 papers that were presented are carefully reviewed and selected from 31 submissions. It contains three invited talks and two invited tutorials. Editor(s): Chatterjee, Krishnendu; Henzinger, Thomas A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 55 black & white illustrations, biography. BIC Classification: GPFC; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute ... Read more
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
257
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
257
Place of Publication
Berlin, Germany
ISBN
9783642152962
SKU
V9783642152962
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-3
Reviews for Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings: 6246 (Lecture Notes in Computer Science, 6246)