Mgr. Ing.
Pavel Očenášek
Ph.D.
odborný asistent
ocenaspa@fit.vut.cz
pavel.ocenasek@vut.cz
pavel@ocenasek.com
C305 Kancelář
Výsledky s dopadem do praxe
-
2004
Využití stromových automatů při verifikaci bezpečnostních protokolů, výzkumná zpráva, 2004
Autoři: OČENÁŠEK, P.