Performance Modelling and Verification of Cloud-based Auto-Scaling Policies Alexandros Evangelidis, David Parker, Rami Bahsoon School of Computer Science University of Birmingham Birmingham, United Kingdom

First Page		Document Content
Date: 2017-02-13 18:46:48		Performance Modelling and Verification of Cloud-based Auto-Scaling Policies Alexandros Evangelidis, David Parker, Rami Bahsoon School of Computer Science University of Birmingham Birmingham, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 827,83 KB Share Document on Facebook