Skip to content
Home/ Formal Techniques in Real-Time and Fault-Tolerant Systems (1993)
Formal Techniques in Real-Time and Fault-Tolerant Systems (1993)

Formal Techniques in Real-Time and Fault-Tolerant Systems (1993)

No customer reviews yet ISBN 9780792393320

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 which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements.
The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ?
Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the `how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems.
The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.

About the author

Product details

Pub dateApr 30, 1993
ISBN-100792393325
ISBN-139780792393320
LanguageEnglish
Last updated 2026-09-07 21:17
$177.01
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Data Science - General
See all
HTML Virtual Classroom
Fuller, Robert
$28.02
Interactive Computing Series: Microsoft FrontPage 2000 Brief Edition (Brief)
Laudon, Kenneth C
$39.81
Writing Hypertext and Learning: Conceptual and Empirical Approaches
Emerald Publishing Limited
$199.99
Advances in Imaging and Electron Physics: Volume 140
Hawkes, Peter W
$317.93
Essential Guide to Video Processing
Bovik, Alan C
$113.44
Essential Guide to Image Processing [With CDROM]
<ul> <li>A complete introduction to the basic and intermediate concepts of image processing from the leading people in the field</li> <li>Up-to-date content, including statistical modeling of natural, anistropic diffusion, image quality and the latest developments in JPEG 2000 </li></ul> <p>This comprehensive and state-of-the art approach to image processing gives engineers and students a thorough introduction, and includes full coverage of key applications: image watermarking, fingerprint recognition, face recognition and iris recognition and medical imaging. <i>"This book combines basic image processing techniques with some of the most advanced procedures. Introductory chapters dedicated to general principles are presented alongside detailed application-orientated ones. As a result it is suitably adapted for different classes of readers, ranging from Master to PhD students and beyond." - Prof. Jean-Philippe Thiran, EPFL, Lausanne, Switzerland</i> <p><i></i></p> <p><i>"Al Bovik's compendium proceeds systematically from fundamentals to today's research frontiers. Professor Bovik, himself a highly respected leader in the field, has invited an all-star team of contributors. Students, researchers, and practitioners of image processing alike should benefit from the Essential Guide." - Prof. Bernd Girod, Stanford University, USA</i></p> <p><i></i></p> <p><i>"This book is informative, easy to read with plenty of examples, and allows great flexibility in tailoring a course on image processing or analysis." - Prof. Pamela Cosman, University of California, San Diego, USA</i></p>
$96.47