Results with Impact on Practice
-
2017
Detection, and Analysis of SIP Fraud Attack on 100Gb Ethernet with NEMEA System, audiovisual work, 2017
Authors: PLUSKAL, J.; RYŠAVÝ, O. -
2007
Framework for the Deductive Analysis of Embedded Software: Initial technical report, research report, 2007
Authors: RYŠAVÝ, O. -
2006
Inheritance of specifications in the calculus of functional objects, research report, 2006
Authors: RYŠAVÝ, O.