Search the dblp DataBase

Publications of Author

1. Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda
   A Framework for Formal Specification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ECBS, 2005, pp:323-330 [Conf]
   
2. Ondrej Rysavy, Frantisek Bures
   Formal Abstract Architecture for Use Case Specifications. [Citation Graph (0, 0)][DBLP]
   ECBS, 2004, pp:203-210 [Conf]
   
3. Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda
   Designing algorithm-oriented generic library on .NET framework. [Citation Graph (0, 0)][DBLP]
   ECBS, 2006, pp:159-163 [Conf]
   
4. Miroslav Svéda, Ondrej Rysavy, Radimir Vrba
   Pattern-driven reuse of embedded control design - behavioral and architectural specifications in embedded control system designs. [Citation Graph (0, 0)][DBLP]
   ICINCO-ICSO, 2007, pp:409-416 [Conf]
   
5. 
   Industrial application development using case-based reasoning. [Citation Graph (, )][DBLP]
   
   
6. 
   A Formal Model for Network-Wide Security Analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   A component-based approach to verification of embedded control systems using TLA⁺. [Citation Graph (, )][DBLP]