Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.

Ina Schaefer, Arnd Poetzsch-Heffter

Browse the full SSS paper archive.