1. EDCC 1994: Berlin, Germany

Session 1: Fault-Tolerance Techniques

Session 2: Formal Methods

Session 3: Evaluation

Session 4: Hardware Testing

Session 5: Fault Injection

Session 6: Software Testing

Session 7: Built-In Self Test

Session 8: Software Diversity

Session 9: Parallel Systems

Panel Discussion: Future Directions in Dependable Computing

Session 10: Fault Tolerance in VLSI

Session 11: Measurement

Session 12: Switching Networks and Hypercubes

Session 13: Distributed Systems