Formal Modeling and Analysis of Timed Systems

P. S. Thiagarajan

ISBN 10: 3540754539 / ISBN 13: 9783540754534

Published by Springer Berlin Heidelberg Sep 2007, 2007

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication. 384 pp. Englisch.

Seller Inventory # 9783540754534

Bibliographic Details

• Title: Formal Modeling and Analysis of Timed Systems
• Publisher: Springer Berlin Heidelberg Sep 2007
• Publication Date: 2007
• Language: English
• ISBN 10: 3540754539
• ISBN 13: 9783540754534
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 21D millimeters 235 millimeters width by 155 millimeters height by 21 millimeters depth
• Weight: 581 grams

About this title

Synopsis

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.