Masaryk University

Publication Records

česky | in English

Filter publications

    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.
      Name in Czech: Modelování a formální analýza komponentových systémů z pohledu interakce mezi komponentami
      Informatics. English. Czech Republic.
      Keywords in English: Component-based systems; component interaction; automata-based modelling; formal analysis; component equivalence; substitutability
      International impact: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:32.
      More: https://is.muni.cz/publication/789513/en

    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, p. 260-267. ISBN 80-214-3287-X.
      PDF
      Name in Czech: Rozložení komponent v distribuovaném prostředí vzhledem k interakci mezi nimi
      RIV/00216224:14330/06:00019343 Proceedings paper. Informatics. English. Czech Republic.
      Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Component-based systems; component-placement problem; interaction; formal analysis
      Type of proceedings: post-proceedings
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:28.
      More: https://is.muni.cz/publication/703385/en
    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, p. 34-36. ISBN 3-936771-87-1.
      Name in Czech: Formální analýza komponentových systému s ohledem na interakci mezi komponentami
      RIV/00216224:14330/06:00015552 Proceedings paper. Informatics. English. Germany.
      Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: component-based systems; formal analysis; component interaction
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:25.
      More: https://is.muni.cz/publication/720580/en
Displayed: 8/10/2024 05:46