Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Hrsg.: Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (2012)
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings.
doi: 10.1007/978-3-642-33427-6_7
Konferenzveröffentlichung, Bibliographie