Dependable Computing - EDDC-3

This book constitutes the refereed proceedings of the Third European Dependable Computing Conference, EDCC-3, held in Prague, Czech Republic in September 1999.The 26 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on dependability modeling, protocols, fault injection, safety, hardware testing, built-in self-tests, networks and distributed systems, and software testing and self-checking.