Prohlížení Diplomové práce - 18103 dle autora "Hovorka Vojtěch"
-
Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů
Autor: Hovorka Vojtěch; Vedoucí práce: Ratschan Stefan; Oponent práce: Kohlík Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)