prof. RNDr.

Milan Češka

CSc.

významný bývalý pracovník

932/osobní číslo VUT

Aplikované výsledky

2010

Tool for verification of systems described using the Modechart formalism, software, 2010
Autoři: GACH, M.; FIEDOR, J.; ČEŠKA, M.

Tool for verification of systems specified in RT-Logic language, software, 2010
Autoři: FIEDOR, J.; GACH, M.; ČEŠKA, M.