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

completeness

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

Requirements Completeness and System Analysis of Automated Driving Systems
 (Ahmad Abbadi)

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

https://is.muni.cz/th/b6ou9/ | Informatika / Technologie a metodologie počítačových systémů | 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

Úplnost ekvacionální logiky
 (Pavel Zoubek)

2012, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/buls0/ | Matematika / Obecná matematika | Práce na příbuzné téma