Evaluation of resilience in self-adaptive systems using probabilistic model-checking.

Javier Cmara, Rogrio de Lemos

Browse the full ICSE paper archive.