Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 852)
Included in the following conference series:
Conference proceedings info: EDCC 1994.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
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.
Similar content being viewed by others
Keywords
Table of contents (40 papers)
-
Front Matter
Other volumes
-
Dependable Computing — EDCC-1
Bibliographic Information
Book Title: Dependable Computing - EDCC-1
Book Subtitle: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Editors: Klaus Echtle, Dieter Hammer, David Powell
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-58426-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-58426-1Published: 21 September 1994
eBook ISBN: 978-3-540-48785-2Published: 09 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 625
Topics: Control Structures and Microprogramming, Theory of Computation, Quality Control, Reliability, Safety and Risk, Arithmetic and Logic Structures, Memory Structures, Input/Output and Data Communications