Frantisek Scuglik

A framework for formal specification of embedded systems

Miroslav Svéda, Ondrej Rysavý, Frantisek Scuglik, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Formal specification of shared variables using CSP

Frantisek Scuglik, Frantisek Scuglik, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..