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]
@inproceedings{HachichaHK19,
title = {Formal Verification approaches of Self-adaptive Systems: A Survey},
author = {Marwa Hachicha and Riadh Ben Halima and Ahmed Hadj Kacem},
year = {2019},
doi = {10.1016/j.procs.2019.09.357},
url = {https://doi.org/10.1016/j.procs.2019.09.357},
researchr = {https://researchr.org/publication/HachichaHK19},
cites = {0},
citedby = {0},
pages = {1853-1862},
booktitle = {Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, Budapest, Hungary, 4-6 September 2019},
editor = {Imre J. Rudas and János Csirik and Carlos Toro 0001 and János Botzheim and Robert J. Howlett and Lakhmi C. Jain},
volume = {159},
series = {Procedia Computer Science},
publisher = {Elsevier},
}