| 2008 |
|---|
| 6 | EE | Petr Matousek,
Jaroslav Ráb,
Ondrej Rysavy,
Miroslav Svéda:
A Formal Model for Network-Wide Security Analysis.
ECBS 2008: 171-181 |
| 2007 |
|---|
| 5 | | Miroslav Svéda,
Ondrej Rysavy:
Industrial application development using case-based reasoning.
ANNIIP 2007: 76-82 |
| 4 | | Miroslav Svéda,
Ondrej Rysavy,
Radimir Vrba:
Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs.
ICINCO-ICSO 2007: 409-416 |
| 2006 |
|---|
| 3 | EE | Ondrej Rysavy,
Frantisek Scuglik,
Miroslav Svéda:
Designing algorithm-oriented generic library on .NET framework.
ECBS 2006: 159-163 |
| 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 |
