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.

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud

Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem. Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. In Marinos Themistocleous, Paulo Rupino da Cunha, editors, Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings. Volume 341 of Lecture Notes in Business Information Processing, pages 144-157, Springer, 2018. [doi]

Authors

Fairouz Fakhfakh

This author has not been identified. Look up 'Fairouz Fakhfakh' in Google

Hatem Hadj Kacem

This author has not been identified. Look up 'Hatem Hadj Kacem' in Google

Ahmed Hadj Kacem

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