placeholder image

Ben Halima, Rania

Person

Positions

, Centre National de la Recherche Scientifique

selected publications

conference paper
- Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. . 952-959. 2018
- Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. . 314-321. 2017

full name

Rania Ben Halima

Publications in VIVO

Co-author Network