Scan barcode
208 pages • missing pub info (editions)
ISBN/UID: 9781461364146
Format: Paperback
Language: English
Publisher: Springer
Publication date: 27 September 2012
Description
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties wh...
Community Reviews
Content Warnings
208 pages • missing pub info (editions)
ISBN/UID: 9781461364146
Format: Paperback
Language: English
Publisher: Springer
Publication date: 27 September 2012
Description
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties wh...