Jan Krakora

Publication Activity (10 Years)

Years Active: 2006-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)
Jan Krakora, Zdenek Hanzálek
FPGA based tester tool for hybrid real-time systems. Microprocess. Microsystems 32 (8) (2008)
Jan Krakora, Zdenek Hanzálek
Testing of Hybrid Real-time Systems Using FPGA Platform. IES (2006)
Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek
Los-Cost Avionics System for Ultra-Light Aircrafts. ETFA (2006)