Browsing by Author "Bradáč, Martin"
Now showing items 1-2 of 2
-
Absolvování individuální odborné praxe
Bradáč, Martin (Bakalářská práce, 2011) -
Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP
Bradáč, Martin (Diplomová práce, 2014)