Publications



by Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, and Mohamed Jmaiel.
Reference:
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, and Mohamed Jmaiel., Formal Verification of Time-Aware Cloud Resource Allocation in Business Process, In Proceedings of On the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, Springer, volume , 2016.
Bibtex Entry:
@InProceedings{BenhalimaCOOPIS16,
author = {Rania Ben Halima and Slim Kallel and Kais Klai and Walid Gaaloul and and Mohamed Jmaiel.},
title = {{Formal Verification of Time-Aware Cloud Resource Allocation in Business Process}},
booktitle = {Proceedings of On the Move to Meaningful Internet Systems: {OTM} Conferences - Confederated International Conferences: CoopIS, ODBASE, and C{\&}TC},
pages = {},
year = {2016},
volume = {},
series = {},
publisher = {Springer},
address = {Grecee},
doi = {}
}