Práce na stejné téma (mají shodná klíčová slova):
verificationKlíčová slova abecedně | Klíčová slova dle četnosti
Signature verification
(Václav Novák)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pg7gr/ | Informatika / | 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
Electric distribution box verification system
(Andrej Lipták)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/syou0/ | Programování a vývoj aplikací / | Práce na příbuzné téma
Eletrical Verification Report Editor
(Marcel Lukčo)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vs9h8/ | Programování a vývoj aplikací / | Práce na příbuzné téma
Authorship verification via cloze-test
(Tomáš Kancko)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bz1lo/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
Updates of distributed provenance chains with integrity verification
(Radomír Mann)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xnbu3/ | 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
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
Eletrical Verification Report Editor
(Marcel Lukčo)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vs9h8/ | Programování a vývoj aplikací / | Práce na příbuzné téma
Experimental Verification of a Synergy of Techniques for Efficient Similarity Search in Metric Spaces
(Iuliia Mariachkina)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/m14as/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma