Request file

Review/Citation:  BUREŠ, Tomáš, HORKÝ, V., KIT, M., MAREK, L., TŮMA, P. Towards Performance-Aware Engineering of Autonomic Component Ensembles. In: MARGARIA, T., STEFFEN, B., eds. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I. Berlin: Springer, 2014, s. 131-146. Lecture Notes in Computer Science, 8802. ISBN 978-3-662-45233-2. ISSN 0302-9743
Requested document:  a0436569.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.