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.
      More: https://is.muni.cz/publication/789513/en
Display details
Displayed: 1/5/2024 18:08