The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.

Dependable Computing - EDCC-1: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
625
Dependable Computing - EDCC-1: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
625Paperback(1994)
Product Details
ISBN-13: | 9783540584261 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 10/27/1994 |
Series: | Lecture Notes in Computer Science , #852 |
Edition description: | 1994 |
Pages: | 625 |
Product dimensions: | 6.10(w) x 9.17(h) x 0.05(d) |