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). Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. In Proceedings of European Conference on Service-Oriented and Cloud Computing. 2012. Springer.