Imen Zouaghi

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Business Processes

Functional Dependencies

Workflow Processes

Top Venues

Publications

Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. AINA (2018)