HASE 2005: Heidelberg, Germany

Introduction

Invited Talks

Session 1: Fault Tolerant Systems: Design & Analysis

Session 2: System Level Frameworks

Session 3: Software Issues: Composition, Analysis, Assurance Cases

Session 4: System and Software Testing

Session 5: Evaluation for Assurance

a service of Schloss Dagstuhl - Leibniz Center for Informatics