Theses on the same topic (having an identical keyword):
kairaKeywords ordered alphabetically | Keywords ordered by occurrence rate
Testování výkonnosti nástroje Kaira
(Martin Beseda)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108931 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Rozšiřování simulací v nástroji Kaira
(Martin Palásek)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108882 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Rozšíření programátorské podpory v nástroji Kaira
(Jan Homola)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108860 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Podpora testování sekvenčních kódů v nástroji Kaira
(Pavel Siemko)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/110867 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Implementace knihoven pro nástroj Kaira
(Marek Večerka)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108804 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Synchronization of Tracelogs in Kaira
(Tomáš Panoc)2016, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/116291 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Zpracování skupin trace logů v nástroji Kaira
(Radim Cieslar)2016, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/116313 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira
(Martin Kozubek)2014, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/103985 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira
(Lukáš Tomaszek)2013, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/101075 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Extraction of abstract models of communications from message-passing applications
(Martin Šurkovský)2019, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/141718 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Theses on a related topic