Crossmark

An Event-B model for dynamically managing cloud resources

Crossref DOI link: https://doi.org/10.1007/s11334-021-00419-1

Published Online: 2021-11-24

Published Print: 2022-03

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

Authors

Lahouij, Aida https://orcid.org/0000-0003-4296-6893
Hamel, Lazhar https://orcid.org/0000-0003-1920-1825
Graiet, Mohamed https://orcid.org/0000-0002-0482-7254
License Information

Text and Data Mining valid from 2021-11-24

Version of Record valid from 2021-11-24
More Information

Article History

Received: 20 April 2021

Accepted: 30 October 2021

First Online: 24 November 2021