F. Bures

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 abstract architecture for use case specifications

Ondrej Rysavý, Frantisek Bures, O. Ryšavý, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

A Graph Representation for Use Case Specifications

O. Ryšavý, F. Bures, 2003 .

Water constructions in countryside – case study of land use on the river Svratka in the village Ujčov (Moravia)

P. Oppeltová, F. Bures, 2017 .