Práce na stejné téma (mají shodná klíčová slova):
software witnessKlíčová slova abecedně | Klíčová slova dle četnosti
Návrh na zlepšení podnikového procesu pomocí Witness
(Thanh Son Nguyen)2013, Bakalářská práce, Ekonomická fakulta / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/97346 | Systémové inženýrství a informatika / Aplikovaná informatika | Práce na příbuzné téma
Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness
(Lukáš Przybylski)2008, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/wkzmy/ | Ekonomika a management / Podnikové hospodářství | Práce na příbuzné téma
Příprava elektronické učební pomůcky pro simulační program Witness
(Petr MACHALA)2006, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//8rh455// | Inženýrská informatika / Informační technologie | Práce na příbuzné téma
Validation of Violation Witnesses in Software Verification
(Paulína Ayaziová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zuyyc/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
Klee-Based Error Witness Checker
(Paulína Ayaziová)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/rnv19/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Simulační model tramvajového obratiště Poruba Vřesinská
(Jan Juřina)2024, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/154380 | Dopravní systémy a technika / Dopravní systémy | Práce na příbuzné téma
Simulační model provozu pracoviště ATC Clearence Delivery
(Jan Vaňák)2023, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/151013 | Dopravní systémy a technika / Dopravní systémy | Práce na příbuzné téma
Využití simulačních metod pro optimalizaci podnikových procesů
(Peter Záhora)2016, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/v93z7/ | Ekonomika a management / Podniková ekonomika a management | Práce na příbuzné téma
Simulační modely efektivního řízení toku materiálu pomocí systému KANBAN
(Martin Vybíral)2022, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//phtf17// | Inženýrská informatika / Inteligentní systémy s roboty | Práce na příbuzné téma
Simulace procesů vzletu a přistání letounů na letišti
(Lucie Adamusová)2022, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/148173 | Dopravní systémy a technika / Dopravní systémy | Práce na příbuzné téma