BibTeX record conf/kes/HachichaHK19

• > Home > conf/kes/HachichaHK19

@inproceedings{DBLP:conf/kes/HachichaHK19,
  author       = {Marwa Hachicha and
                  Riadh Ben Halima and
                  Ahmed Hadj Kacem},
  editor       = {Imre J. Rudas and
                  J{\'{a}}nos Csirik and
                  Carlos Toro and
                  J{\'{a}}nos Botzheim and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Formal Verification approaches of Self-adaptive Systems: {A} Survey},
  booktitle    = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
                  Proceedings of the 23rd International Conference KES-2019, Budapest,
                  Hungary, 4-6 September 2019},
  series       = {Procedia Computer Science},
  volume       = {159},
  pages        = {1853--1862},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.procs.2019.09.357},
  doi          = {10.1016/J.PROCS.2019.09.357},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/kes/HachichaHK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}