A correct by construction approach for modeling and formalizing self-adaptive systems.

Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem

Browse the full SNPD paper archive.