Frantisek Bures

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda
A Framework for Formal Specification of Embedded Systems. ECBS (2005)
Ondrej Rysavý, Frantisek Bures
Formal Abstract Architecture for Use Case Specifications. ECBS (2004)