.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Modeling and Analysis of Timed Systems
N/A
€ 67.83
FREE Delivery in Ireland
Description for Formal Modeling and Analysis of Timed Systems
paperback. 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. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 587.
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September ... Read more
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September ... Read more
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
382
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
372
Place of Publication
Berlin, Germany
ISBN
9783540754534
SKU
V9783540754534
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Modeling and Analysis of Timed Systems