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

maintained by Schloss Dagstuhl LZI, founded at University of Trier