| |
| 2006 | ||
|---|---|---|
| 4 | EE | Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda: Designing algorithm-oriented generic library on .NET framework. ECBS 2006: 159-163 |
| 2005 | ||
| 3 | EE | Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda: A Framework for Formal Specification of Embedded Systems. ECBS 2005: 323-330 |
| 2004 | ||
| 2 | EE | Frantisek Scuglik: Formal Specification of Shared Variables Using CSP. ECBS 2004: 211-217 |
| 2003 | ||
| 1 | EE | Frantisek Scuglik, Miroslav Svéda: Automatically Generated CSP Specifications. J. UCS 9(11): 1277-1295 (2003) |
| 1 | Frantisek Bures | [3] |
| 2 | Ondrej Rysavy | [3] [4] |
| 3 | Miroslav Svéda | [1] [3] [4] |