Práce na stejné téma (mají shodná klíčová slova):

checking

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 25 prací)
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

Limits of efficient FO model checking of geometric graphs
 (Filip Pokrývka)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/qly2r/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Interface for Integration of Language Checking Tools to Text Editing Software
 (Jan Tojnar)

2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/tdwst/ | Aplikovaná informatika / | 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

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

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

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

Designing Data-Parallel Graph Algorithms for Model Checking
 (Milan Češka)

2012, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

GPU Accelerated Enumerative Model Checking
 (Milan Češka)

2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma

« 1 2 3 » (celkem 25 prací)