Resilience Assessment and Evaluation of Computing Systems 2012

Introduction and Motivating Examples

Modelling Techniques

Model-Driven Prediction

Measurement and Metrics

Testing Techniques

Case Studies

Conclusions and Outlook

a service of Schloss Dagstuhl - Leibniz Center for Informatics