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 of Time-Aware Cloud Resource Allocation in Business Process

Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel. Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. In Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam S. Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna, editors, On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Volume 10033 of Lecture Notes in Computer Science, pages 400-417, 2016. [doi]

Authors

Rania Ben Halima

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

Slim Kallel

This author has not been identified. Look up 'Slim Kallel' in Google

Kais Klai

This author has not been identified. Look up 'Kais Klai' in Google

Walid Gaaloul

This author has not been identified. Look up 'Walid Gaaloul' in Google

Mohamed Jmaiel

This author has not been identified. Look up 'Mohamed Jmaiel' in Google
runs on