![]() | ![]() |
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] |