.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Ravn, Anders P.; Rischel, Hans
€ 71.25
FREE Delivery in Ireland
Description for Formal Techniques in Real-Time and Fault-Tolerant Systems
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
Product Details
Format
Paperback
Publication date
1998
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
356
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
347
Place of Publication
Berlin, Germany
ISBN
9783540650034
SKU
V9783540650034
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques in Real-Time and Fault-Tolerant Systems