%0 Conference Paper %1 conf/kes/HachichaHK19 %A Hachicha, Marwa %A Halima, Riadh Ben %A Kacem, Ahmed Hadj %B KES %D 2019 %E Rudas, Imre J. %E Csirik, János %E Toro, Carlos %E Botzheim, János %E Howlett, Robert J. %E Jain, Lakhmi C. %I Elsevier %K dblp %P 1853-1862 %T Formal Verification approaches of Self-adaptive Systems: A Survey. %U http://dblp.uni-trier.de/db/conf/kes/kes2019.html#HachichaHK19 %V 159

@inproceedings{conf/kes/HachichaHK19, added-at = {2019-11-05T00:00:00.000+0100}, author = {Hachicha, Marwa and Halima, Riadh Ben and Kacem, Ahmed Hadj}, biburl = {https://www.bibsonomy.org/bibtex/2403794f6615dd3e6faa4b505d3f8b906/dblp}, booktitle = {KES}, crossref = {conf/kes/2019}, editor = {Rudas, Imre J. and Csirik, János and Toro, Carlos and Botzheim, János and Howlett, Robert J. and Jain, Lakhmi C.}, ee = {https://doi.org/10.1016/j.procs.2019.09.357}, interhash = {743afe097571dbfbb1e04eb4e08e89e8}, intrahash = {403794f6615dd3e6faa4b505d3f8b906}, keywords = {dblp}, pages = {1853-1862}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T19:50:20.000+0200}, title = {Formal Verification approaches of Self-adaptive Systems: A Survey.}, url = {http://dblp.uni-trier.de/db/conf/kes/kes2019.html#HachichaHK19}, volume = 159, year = 2019 }