Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.

Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana

Browse the full AICCSA paper archive.