Hledat
Zobrazují se záznamy 1-1 z 1
Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů, Incremental Binary-Decision-Diagram-Based Safety Verification
; 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)