Unspecified
Springer
European Conference on Service-Oriented and Cloud Computing
Computer Security

de Boer, F., Broch Johnsen, E., Haehnle, R., Schlatte, R.& Wong, P. Y. H. (2012, January). Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Proceedings of European Conference on Service-Oriented and Cloud Computing. 2012.