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

Javier Cámara 0001 Rogério de Lemos Evaluation of resilience in self-adaptive systems using probabilistic model-checking. 53-62 2012 SEAMS https://doi.org/10.1109/SEAMS.2012.6224391 https://doi.ieeecomputersociety.org/10.1109/SEAMS.2012.6224391 http://dl.acm.org/citation.cfm?id=2666805 https://www.wikidata.org/entity/Q62040643 conf/icse/2012seams db/conf/icse/seams2012.html#CamaraL12