Publication Records

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