Browsing Diplomové práce - 18103 by Author "Hovorka Vojtěch"
Now showing items 1-1 of 1
-
Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů
Author: Hovorka Vojtěch; Supervisor: Ratschan Stefan; Opponent: Kohlík Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)