Zpět na vyhledávání

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

Component-Interaction, automaty

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 11 theses)
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

List of theses with an identical keyword.

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

« 1 2 » (total: 11 theses)