Formal Verification approaches of Self-adaptive Systems: A Survey.

Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem

Browse the full KES paper archive.