prof. RNDr.
Milan Češka
CSc.
významný bývalý pracovník
Produkty
-
2010
Nástroj pro verifikaci systémů popsaných formalismem Modechart, software
Autoři: Gach Marek, Fiedor Jan, Češka MilanNástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software
Autoři: Fiedor Jan, Gach Marek, Češka Milan