Výpis publikací

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