Overview
Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 8)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 papers)
-
Functional Testing
-
Specification and Verification of Fault Tolerance
-
Dependability and Performance
-
Application of Formal Methods
-
On Line Error Detection
-
Safety-Critical Industrial Systems
-
Experimental Evaluation
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Dependable Computing for Critical Applications 3
Editors: Carl E. Landwehr, Brian Randell, Luca Simoncini
Series Title: Dependable Computing and Fault-Tolerant Systems
DOI: https://doi.org/10.1007/978-3-7091-4009-3
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Wien 1993
Softcover ISBN: 978-3-7091-4011-6Published: 20 November 2013
eBook ISBN: 978-3-7091-4009-3Published: 29 June 2013
Series ISSN: 0932-5581
Edition Number: 1
Number of Pages: XII, 384
Topics: Special Purpose and Application-Based Systems, Automotive Engineering, Software Engineering, Artificial Intelligence