Libor Waszniowski

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Libor Waszniowski, Jan Krakora, Zdenek Hanzálek
Case study on distributed and fault tolerant system modeling based on timed automata. J. Syst. Softw. 82 (10) (2009)
Libor Waszniowski, Zdenek Hanzálek
Formal verification of multitasking applications based on timed automata model. Real Time Syst. 38 (1) (2008)
Roman Bartosinski, Zdenek Hanzálek, Petr Struzka, Libor Waszniowski
Integrated Environment for Embedded Control Systems Design. IPDPS (2007)
Roman Bartosinski, Zdenek Hanzálek, Libor Waszniowski, Petr Struzka
Processor Expert Enhances Matlab Simulink Facilities for Embedded Software Rapid Development. ETFA (2006)
Libor Waszniowski, Zdenek Hanzálek
Analysis of Real Time Operating System Based Applications. FORMATS (2003)