TY  - RPRT
TI  - Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
AU  - Frank S. de Boer
AU  - Elena Giachino
AU  - Stijn de Gouw
AU  - Reiner Hähnle
AU  - Einar Broch Johnsen
AU  - Cosimo Laneve
AU  - Ka I Pun
AU  - Gianluigi Zavattaro
PY  - 2019
DO  - 10.4204/eptcs.302.1
UR  - https://arxiv.org/abs/1908.10040
ID  - 1908.10040
ER  -