Vyžádat soubor

Reference/citace:  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.
Vyžádané dokumenty:  a0436569.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.