Práce na stejné téma (mají shodná klíčová slova):
komponentove-interakcni automatyKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
Ověřování interaktivních vlastností komponentových systémů
(Nikola Beneš)2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/rrrgz/ | Informatika / | Práce na příbuzné téma