A Formal Approach for Designing Distributed Self-Adaptive Systems
Dídac Gil de la Iglesia · 2014
Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability o ...