Frantisek Scuglik

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Publications

Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda
Designing algorithm-oriented generic library on .NET framework. ECBS (2006)
Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda
A Framework for Formal Specification of Embedded Systems. ECBS (2005)
Frantisek Scuglik
Formal Specification of Shared Variables Using CSP. ECBS (2004)
Frantisek Scuglik, Miroslav Svéda
Automatically Generated CSP Specifications. J. Univers. Comput. Sci. 9 (11) (2003)