Verifikácia riadiacich algoritmov
Hlubík Filip ; 047220  Holaza Juraj ; 047220 (Thesis advisor)
2025
FCHPT ; 23.06.2025 ; kybernetika ; B-RP

http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=176118
bakalárska práca