HASE 2010: San Jose, CA, USA

Fault Tolerance

Reliability/Availability Modeling

Testing

Case Studies

Formal Methods

Information and System Assurance

Fast Abstracts

maintained by Schloss Dagstuhl LZI at University of Trier