2. Fehlertolerierende Rechensysteme 1984: Bonn, Germany

Eröffnungssitzung / Opening session

Verteilte System I / Distributed systems I

Fehlertolerante Betriebssysteme / Fault-tolerant operating systems

Vertifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques

Allgemeine Modelle / General models

Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components

Zuverlässigkeitsmodelle / Reliability models

Verteilte System II / Distributed system II

Diagnose auf Systemebene / Diagnosis at system level

Protokolle / Protocols

Hardware- Testmethoden I / Hardware testing methods I

Hardware Testmethoden II / Hardware testing methods II