Dependable Computing for Critical Applications 2
By: edited by John F. Meyer, Richard D. Schlichting
Contributors: Schlichting, Richard D.
Series: Dependable Computing and Fault-Tolerant Systems, 0932-5581 -- 6; Dependable computing and fault-tolerant systems -- 6.
Publisher: Springer Vienna
Published: 1992
Place of publication: Vienna
Language: eng
Format: [electronic resource] /
Number of pages: 439
ISBN-13: 9783709191989
Description: This book contains the twenty papers presented and discussed at the 2nd IFIP Working Conference on Depend- able Computing for Critical Applications. Based on the feedback at this meeting, the papers were 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 should be of interest to those involved in the development of computing systems where dependability attributes such as reliability, safety, and security are a major concern.