Zpět na vyhledávání

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

model checking

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

Simulátor pro modelovací jazyk nástroje DiVinE
 (Martin Moráček)

2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/teyty/ | Informatika / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

GUI aplikace pro zobrazení a monitorování simulace komunikace dvou počítačů
 (Lukáš Révay)

2013, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/98645 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

GUI aplikace pro zobrazení a monitorování simulace komunikace dvou počítačů
 (Michal Fůs)

2011, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/87287 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Modelování ložiskových vod s využitím softwaru TRM-GUI
 (Kristýna Zahradníčková)

2022, Diplomová práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci

• http://theses.cz/id//gnxms9// | Aplikované vědy v inženýrství / | Práce na příbuzné téma