Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

kaira

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 16 prací)
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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

« 1 2 » (celkem 16 prací)