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