Výsledky s dopadem do praxe
-
2017
Detection, and Analysis of SIP Fraud Attack on 100Gb Ethernet with NEMEA System, audiovizuální tvorba, 2017
Autoři: PLUSKAL, J.; RYŠAVÝ, O. -
2007
Framework for the Deductive Analysis of Embedded Software: Initial technical report, výzkumná zpráva, 2007
Autoři: RYŠAVÝ, O. -
2006
Inheritance of specifications in the calculus of functional objects, výzkumná zpráva, 2006
Autoři: RYŠAVÝ, O.