A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation

Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Emna Guermazi; Walid Gaaloul

doi:10.3897/jucs.70978

Research Article

JUCS - Journal of Universal Computer Science 27(7): 693-713
https://doi.org/10.3897/jucs.70978 (28 Jul 2021)

Other versions:

(1)

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua (2023)
A Deep Reinforcement Learning Framework with Formal Verification. Formal Aspects of Computing 35: 1.

DOI: 10.1145/3577204

This website uses cookies in order to improve your web experience. Read our Cookies Policy