Filtrování

    2008

    1. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
      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.
      Podrobněji: https://is.muni.cz/publication/789513/cs

    2006

    1. Component Placement in Distributed Environment w.r.t. Component Interaction
      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, s. 260-267. ISBN 80-214-3287-X.
      Podrobněji: https://is.muni.cz/publication/703385/cs
    2. Formal Analysis of Component-Based Systems in View of Comp. Interactions
      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, s. 34-36. ISBN 3-936771-87-1.
      Podrobněji: https://is.muni.cz/publication/720580/cs
Zobrazit podrobně