Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets.

Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar

Browse the full MEDI paper archive.