Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. In Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro, editors, Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. Volume 7592 of Lecture Notes in Computer Science, pages 91-106, Springer, 2012. [doi]

This author has not been identified. It may be one of the following persons:

Frank S. de Boer

Look up 'Frank S. de Boer' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Einar Broch Johnsen' in GoogleThis author has not been identified. Look up 'Rudolf Schlatte' in GoogleThis author has not been identified. Look up 'Peter Y. H. Wong' in Google

runs on WebDSL