Práce na stejné téma (mají shodná klíčová slova):
model checkingKlíč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
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