Dependable Computing for Critical Applications

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.