Frantisek Scuglik

According to our database, Frantisek Scuglik authored at least 4 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Designing algorithm-oriented generic library on .NET framework.

Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

A Framework for Formal Specification of Embedded Systems.

Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

Formal Specification of Shared Variables Using CSP.

Frantisek Scuglik

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

Automatically Generated CSP Specifications.

Frantisek Scuglik, Miroslav Svéda

J. Univers. Comput. Sci., 2003