dblp.uni-trier.de www.uni-trier.de

HASE 2005: Heidelberg, Germany

Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany. IEEE Computer Society 2005, ISBN 0-7695-2377-3 BibTeX

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

Copyright © Sat May 16 23:14:17 2009 by Michael Ley (ley@uni-trier.de)