![]() | ![]() |
| 2005 | ||
|---|---|---|
| 2 | Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda: A Framework for Formal Specification of Embedded Systems. ECBS 2005: 323-330 | |
| 2004 | ||
| 1 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page