2012
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
Publication
Publication
Presented at the
European Conference on Service-Oriented and Cloud Computing, Bologna
Additional Metadata | |
---|---|
Unspecified | |
Springer | |
European Conference on Service-Oriented and Cloud Computing | |
Organisation | 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. |