2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS
Publication
Publication
Service Oriented Computing and Applications , Volume 8 - Issue 4 p. 323- 339
Additional Metadata | |
---|---|
Springer | |
Service Oriented Computing and Applications | |
Organisation | Computer Security |
Albert, E., de Boer, F., Haehnle, R., Johnsen, E. B., Schlatte, R., Tarifa, S. L. T., & Wong, P. Y. H. (2014). Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. Service Oriented Computing and Applications, 8(4), 323–339. |