HASE 2010: San Jose, CA, USA

Fault Tolerance

Reliability/Availability Modeling

Testing

Case Studies

Formal Methods

Information and System Assurance

Fast Abstracts

a service of Schloss Dagstuhl - Leibniz Center for Informatics