Práce na stejné téma (mají shodná klíčová slova):
DIVINEKlíčová slova abecedně | Klíčová slova dle četnosti
Grafické rozhraní pro simulátor C++ programů
(Vojtěch Frnoch)2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mghak/ | Aplikovaná informatika / | Práce na příbuzné téma
Modelování a verifikace platebního systému
(Marharyta Zhuk)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vyf09/ | Informatika / Informační systémy | Práce na příbuzné téma
Verifikace MPI programů pomocí DIVINE
(Marek Tomáštík)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bu4gt/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Modelování stateflow diagramů pro účely verifikace
(Pavla Kratochvílová)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r1zte/ | Informatika / Matematická informatika | Práce na příbuzné téma
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
(Tomáš AUSBERGER)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Práce na příbuzné téma
Program Slicing and Symbolic Execution for Verification
(Marek Chalupa)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jpz0i/ | Informatika / Fundamenty informatiky | Práce na příbuzné téma
Formal Verification of Component Interaction in Component-Based Systems
(Nikola Beneš)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ur7d1/ | Informatika / | Práce na příbuzné téma
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
(Vít Unčovský)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/as4mz/ | Informatika / | Práce na příbuzné téma
Grafické rozhraní pro simulátor C++ programů
(Vojtěch Frnoch)2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mghak/ | Aplikovaná informatika / | Práce na příbuzné téma
Grafické SW rozhraní výukového systému RoboKit
(Tomáš Kadleček)2015, Bakalářská práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci
• http://theses.cz/id//01m9h4// | Informační technologie / | Práce na příbuzné téma