Theses on the same topic (having an identical keyword):
software witnessKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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í | Theses on a related topic
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 | Theses on a related topic
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ů | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
Aplikace metod průmyslového inženýrství - prediktivní údržba
(Ladislav Carbol)2021, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/144485 | Průmyslové inženýrství / | Theses on a related topic