| |
| 2005 | ||
|---|---|---|
| 2 | EE | Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda: A Framework for Formal Specification of Embedded Systems. ECBS 2005: 323-330 |
| 2004 | ||
| 1 | EE | Ondrej Rysavy, Frantisek Bures: Formal Abstract Architecture for Use Case Specifications. ECBS 2004: 203-210 |
| 1 | Ondrej Rysavy | [1] [2] |
| 2 | Frantisek Scuglik | [2] |
| 3 | Miroslav Svéda | [2] |