TU Darmstadt / ULB / TUbiblio

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study

de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Wong, Peter Y. H. Paoli, Flavio De and Pimentel, Ernesto and Zavattaro, Gianluigi (eds.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
7592In: Lecture Notes in Computer Science, Springer, In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, pp. 91-106, DOI: 10.1007/978-3-642-33427-6₇,
[Online-Edition: https://doi.org/10.1007/978-3-642-33427-6_7],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2012
Editors: Paoli, Flavio De and Pimentel, Ernesto and Zavattaro, Gianluigi
Creators: de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Wong, Peter Y. H.
Title: Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 7592
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
Date Deposited: 27 Apr 2018 10:52
DOI: 10.1007/978-3-642-33427-6₇
Official URL: https://doi.org/10.1007/978-3-642-33427-6_7
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details