Editors:
Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 6)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
-
Correlated Failures
-
Front Matter
-
-
Verification Techniques
-
Front Matter
-
About this book
Editors and Affiliations
-
The University of Michigan, Ann Arbor, USA
John F. Meyer
-
The University of Arizona, Tucson, USA
Richard D. Schlichting
Bibliographic Information
Book Title: Dependable Computing for Critical Applications 2
Editors: John F. Meyer, Richard D. Schlichting
Series Title: Dependable Computing and Fault-Tolerant Systems
DOI: https://doi.org/10.1007/978-3-7091-9198-9
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag/Wien 1992
Softcover ISBN: 978-3-7091-9200-9Published: 12 February 2012
eBook ISBN: 978-3-7091-9198-9Published: 06 December 2012
Series ISSN: 0932-5581
Edition Number: 1
Number of Pages: XIII, 439
Topics: Special Purpose and Application-Based Systems, Automotive Engineering, Software Engineering, Artificial Intelligence