Search results

  1. 1.
    0436569 - ÚI 2015 RIV DE eng C - Conference Paper (international conference)
    Bureš, Tomáš - Horký, V. - Kit, M. - Marek, L. - Tůma, P.
    Towards Performance-Aware Engineering of Autonomic Component Ensembles.
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I. Berlin: Springer, 2014 - (Margaria, T.; Steffen, B.), s. 131-146. Lecture Notes in Computer Science, 8802. ISBN 978-3-662-45233-2. ISSN 0302-9743.
    [ISoLA 2014. International Symposium /6./. Corfu (GR), 08.10.2014-11.010.2014]
    EU Projects: European Commission(XE) ASCENS 257414
    Grant - others:UK(CZ) SVV-2014-260100; FP7-PEOPLE-2010-ITN(XE) grant agreement n°264840
    Program: FP7
    Institutional support: RVO:67985807
    Keywords : ensemble-based systems * component systems * performance engineering
    Subject RIV: JC - Computer Hardware ; Software
    Permanent Link: http://hdl.handle.net/11104/0240296
    FileDownloadSizeCommentaryVersionAccess
    a0436569.pdf1659.7 KBPublisher’s postprintrequire
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.