Translation of UML Models for Self-adaptive Systems into Event-B Specifications.

Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem

Browse the full ISDA paper archive.