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)