Modeling and verifying self-adaptive systems: A refinement approach.

Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem

Browse the full SMC paper archive.