Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem. Formal Verification approaches of Self-adaptive Systems: A Survey. In Imre J. Rudas, János Csirik, Carlos Toro 0001, János Botzheim, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019. Volume 159 of Procedia Computer Science, pages 1853-1862, Elsevier, 2019. [doi]
Abstract is missing.