Book chapter
Title:
Towards Performance-Aware Engineering of Autonomic Component Ensembles
Publication:
Technologies for Mastering Change: Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)
Year:
2014
ISBN:
978-3-662-45233-2 978-3-662-45234-9
BibTeX:
@incollection{bures_towards_2014, title = {{Towards Performance-Aware Engineering of Autonomic Component Ensembles}}, author = {Bureš, Tomá š and Horký, Vojtěch and Kit, Michał and Marek, Lukáš and Tůma, Petr}, year = {2014}, booktitle = {{Technologies for Mastering Change: Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)}}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer Berlin Heidelberg}, series = {{Lecture Notes in Computer Science}}, number = {8802}, isbn = {978-3-662-45233-2 978-3-662-45234-9}, pages = {131--146}, url = {http://link.springer.com/chapter/10.1007/978-3-662-45234-9_10}, }