Dependable Computing — EDCC-1 [electronic resource] : First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings /

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.

Bibliographic Details

Main Authors:	Echtle, Klaus. editor., Hammer, Dieter. editor., Powell, David. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
Subjects:	Computer science., Microprogramming., Arithmetic and logic units, Computer., Computer memory systems., Input-output equipment (Computers)., Computers., Quality control., Reliability., Industrial safety., Computer Science., Control Structures and Microprogramming., Theory of Computation., Quality Control, Reliability, Safety and Risk., Arithmetic and Logic Structures., Memory Structures., Input/Output and Data Communications.,
Online Access:	http://dx.doi.org/10.1007/3-540-58426-9
Tags:	Add Tag No Tags, Be the first to tag this record!