Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

verification

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 23 theses)
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í / | Theses on a related topic

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 | Theses on a related topic

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í / | Theses on a related topic

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 | Theses on a related topic

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 / | Theses on a related topic

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ů | Theses on a related topic

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 / | Theses on a related topic

Signature verification
 (Václav Novák)

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

https://is.muni.cz/th/pg7gr/ | Informatika / | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

« 1 2 3 » (total: 23 theses)