Ina Schaefer, Arnd Poetzsch-Heffter. Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. In Ajoy Kumar Datta, Maria Gradinariu, editors, Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings. Volume 4280 of Lecture Notes in Computer Science, pages 584-585, Springer, 2006. [doi]
Abstract is missing.