Theses on the same topic (having an identical keyword):

component interaction automata

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Abstractions of Component Interaction Automata
 (Ján Jaďuď)

2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/by45g/ | Informatika / Matematická informatika | Theses on a related topic

List of theses with an identical keyword.

Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
 (Barbora Zimmerová)

2008, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kg5h8/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

Grafické prostředí pro modelování pomocí automatů
 (Milan Křivánek)

2008, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/c4nqe/ | Informatika / | Theses on a related topic

Verifikační nástroj pro komponentové systémy
 (Milan Křivánek)

2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/r2ry1/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic