Login / Signup
Sourour Haouala
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Model Checking
Objective Function
Load Balancing
Top Venues
AICCSA
</>
Publications
</>
Imene Ben Hafaiedh
,
Maroua Ben Slimane
,
Sourour Haouala
,
Riadh Robbana
Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.
AICCSA
(2017)