Editors:
Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 8)
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 (16 papers)
-
Front Matter
-
Functional Testing
-
Front Matter
-
-
Specification and Verification of Fault Tolerance
-
Front Matter
-
-
Dependability and Performance
-
Front Matter
-
-
Application of Formal Methods
-
Front Matter
-
-
On Line Error Detection
-
Front Matter
-
-
Safety-Critical Industrial Systems
-
Front Matter
-
-
Experimental Evaluation
-
Front Matter
-
About this book
Editors and Affiliations
-
Naval Research Laboratory, USA
Carl E. Landwehr
-
Dept. of Computer Sc., Univ. of Newcastle, Newcastle upon Tyne, UK
Brian Randell
-
Dip. Ingegneria dell’Informazione, Università di Pisa, Pisa, Italia
Luca Simoncini
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