A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation - Ait Wakrime, Abderrahim; Boubaker, Souha; Kallel, Slim; Guermazi, Emna; Gaaloul, Walid (J.UCS (Annual print and CD-ROM archive ed.), 2021)
Keywords: Analysis; Business administration; Clo; Computer Science; Configurable Business Process; Formal Methods; Humanities and Social Sciences; Resource allocation; Configurable Business Process; Cloud Resources; Formal Methods; Propositional Satisfiability