Crossmark

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

Crossref DOI link: https://doi.org/10.1007/978-3-030-02852-7_4

Published Online: 2018-10-18

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Cheikhrouhou, Saoussen

Chabouh, Nesrine

Kallel, Slim

Maamar, Zakaria
License Information

Text and Data Mining valid from 2018-01-01
More Information

Conference Information

Conference Acronym: MEDI

Conference Name: International Conference on Model and Data Engineering

Conference City: Marrakesh

Conference Country: Morocco

Conference Year: 2018

Conference Start Date: 24 October 2018

Conference End Date: 26 October 2018

Conference Number: 8

Conference ID: medi2018

Conference URL: http://medi2018.uca.ma/