Theses on the same topic (having an identical keyword):
Keywords ordered alphabetically | Keywords ordered by occurrence rate
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
Formal Analysis of Component-Based Systems in View of Component Interactions
(Barbora Zimmerová)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c42fz/ | Informatika / | Theses on a related topic
UML profil pro modelování komponentových systémů
(Jiří Pagáč)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//nfhn9i// | Informační technologie / | 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
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
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
Konfigurační nástroj pro programovatelné HVAC automaty
(Michael Rádl)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e3lyb/ | Aplikovaná informatika / | Theses on a related topic
Grafický nástroj pro podporu sazby jednoduchých obrázků
(Karolína ZEMENOVÁ)2020, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//lmnslg// | Informatika / Aplikovaná informatika | Theses on a related topic
Nástroj pro generování VHDL z grafického popisu automatu
(Erik Srogoň)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//dlx088// | Informační technologie / | Theses on a related topic
Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů
(Eva HOCHMAJEROVÁ)2011, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//4t0r7u// | Informatika / Aplikovaná informatika | Theses on a related topic