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.
Springer, In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, In: Lecture Notes in Computer Science, 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:

Optionen (nur für Redakteure)

View Item View Item