Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. In J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout, editors, New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings. Volume 1085 of Communications in Computer and Information Science, pages 64-77, Springer, 2019. [doi]
Abstract is missing.