Práce na stejné téma (mají shodná klíčová slova):
checkingKlíčová slova abecedně | Klíčová slova dle četnosti
Automating Software Development with Explicit Model Checking
(Petr Bauch)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o3wbz/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
LLVM Transformations for Model Checking
(Vladimír Štill)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/buw8x/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Symbolic Model Checking via Program Transformations
(Henrich Lauko)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/owq0x/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Refined Büchi automata for faster model checking
(Vojtěch Rujbr)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nanqw/ | Aplikovaná 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
Design and Development of a mobile application for attendance checking with QR code
(Menghour Pech)2023, Bakalářská práce, Provozně ekonomická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//t0g2b7// | Informatics / | Práce na příbuzné téma
Tvorba vícejazyčné datové sady pro fact-checking z existujících dat pro odpovídání na otázky
(Daniel Kamenický)2023, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//mhu8qd// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
HyperLTL Model Checking
(Ondrej Alexaj)2024, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//7u1162// | Informační technologie / | Práce na příbuzné téma
Effective Algorithms for Time Relation Checking in Message Sequence Charts
(Ľuboš Korenčiak)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c4cbn/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
External Memory LTL Model Checking
(Pavel Šimeček)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma