Zpět na vyhledávání

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

verification

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

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

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

String Analysis for Software Verification
 (Martina Olliaro)

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

https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | 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

Verification of Memory Safety with Predator and Symbiotic
 (Tomáš Jašek)

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

https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | 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

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

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

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

« 1 2 3 » (celkem 23 prací)