Dependable Computing - EDCC-1

Klaus Echtle

ISBN 10: 3540584269 / ISBN 13: 9783540584261

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994, 1994

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 644 pp. Englisch.

Seller Inventory # 9783540584261

Bibliographic Details

• Title: Dependable Computing - EDCC-1
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994
• Publication Date: 1994
• Language: English
• ISBN 10: 3540584269
• ISBN 13: 9783540584261
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 35D millimeters 235 millimeters width by 155 millimeters height by 35 millimeters depth
• Weight: 961 grams

About this title

Synopsis

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.