Dependable computing for critical applications 3 /
This book contains the papers presented and discussed at the 3rd IFIP Working Conference on Dependable Computing for Critical Applications. Based on feedback at that meeting, these papers were then revised and updated prior to inclusion in this volume. The topics addressed span the spectrum of depen...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Wien ; New York :
Springer-Verlag,
[1993]
|
| Series: | Dependable computing and fault-tolerant systems ;
v. 8. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book contains the papers presented and discussed at the 3rd IFIP Working Conference on Dependable Computing for Critical Applications. Based on feedback at that meeting, these papers were then revised and updated prior to inclusion in this volume. The topics addressed span the spectrum of dependable computing, from design methods for distributed, fault-tolerant systems to formal and experimental validation techniques. The unique focus of this forum on critical applications is what distinguishes many of these papers from those found elsewhere. This book is of interest to individuals involved in the development of computing systems where dependability attributes such as reliability, safety, and security are a major concern. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xii, 381 pages) : illustrations |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9783709140093 (electronic bk.) 3709140099 (electronic bk.) |