Frantisek Bures

According to our database, Frantisek Bures authored at least 2 papers between 2004 and 2005.

Collaborative distances:

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

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 Abstract Architecture for Use Case Specifications.

Ondrej Rysavý, Frantisek Bures

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