External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification approaches of Self-adaptive Systems: A Survey

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]

Authors

Marwa Hachicha

This author has not been identified. Look up 'Marwa Hachicha' in Google

Riadh Ben Halima

This author has not been identified. Look up 'Riadh Ben Halima' in Google

Ahmed Hadj Kacem

This author has not been identified. Look up 'Ahmed Hadj Kacem' in Google
runs on