Dependable Computing--EDCC-1 Proceedings of the First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994
| Author/creator | Echtle, Klaus Author |
| Other author | Hammer, D. Editor |
| Other author | Powell, D. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | xvii, 618 p. 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Series | Lecture Notes in Computer Science Vol. 852 |
| Summary | Annotation 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540584261 |
| ISBN | 3540584269 (Trade Paper) Active Record |
| Standard identifier# | 9783540584261 |
| Stock number | 3540584269 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |