Dependable Computing and Fault-Tolerant Systems
1 total work
v. 8
Dependable Computing for Critical Applications
Published June 1993
This volume contains the papers presented at the 3rd IFIP Working Conference on Dependable Computing for Critical Applications. The topics addressed span the spectrum of dependable computing, from design methods for distributed, fault-tolerant systems to formal and experimental validation techniques. This book should interest individuals involved in the development of computing systems where dependability attributes such as reliability, safety, and security are a major concern.