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.

Translation of UML Models for Self-adaptive Systems into Event-B Specifications

Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem. Translation of UML Models for Self-adaptive Systems into Event-B Specifications. In Ajith Abraham, Aswani Kumar Cherukuri, Patricia Melin, Niketa Gandhi, editors, Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications, ISDA 2018, Vellore, India, December 6-8, 2018, Volume 2. Volume 941 of Advances in Intelligent Systems and Computing, pages 421-430, Springer, 2018. [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