Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. ZIMMEROVÁ, Barbora. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic: Masaryk University, Faculty of Informatics, 2008. PhD thesis.

    2006

    1. ZIMMEROVÁ, Barbora. Component Placement in Distributed Environment w.r.t. Component Interaction. In Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06). Brno, Czech Republic: FIT VUT, 2006, p. 260-267. ISBN 80-214-3287-X.
    2. ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag, 2006, p. 34-36. ISBN 3-936771-87-1.
Display details
Displayed: 15/9/2024 12:01