| |
| 2008 | ||
|---|---|---|
| 4 | EE | Libor Waszniowski, Zdenek Hanzálek: Formal verification of multitasking applications based on timed automata model. Real-Time Systems 38(1): 39-65 (2008) |
| 2007 | ||
| 3 | EE | Roman Bartosinski, Zdenek Hanzálek, Petr Struzka, Libor Waszniowski: Integrated Environment for Embedded Control Systems Design. IPDPS 2007: 1-8 |
| 2006 | ||
| 2 | EE | Roman Bartosinski, Zdenek Hanzálek, Libor Waszniowski, Petr Struzka: Processor Expert Enhances Matlab Simulink Facilities for Embedded Software Rapid Development. ETFA 2006: 625-628 |
| 2003 | ||
| 1 | EE | Libor Waszniowski, Zdenek Hanzálek: Analysis of Real Time Operating System Based Applications. FORMATS 2003: 219-233 |
| 1 | Roman Bartosinski | [2] [3] |
| 2 | Zdenek Hanzálek | [1] [2] [3] [4] |
| 3 | Petr Struzka | [2] [3] |