A Formal Approach to Enforcing Consistency in Self-adaptive Systems.

Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Browse the full ECSA paper archive.