Milan Češka

Produkty

• 2010

  Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
  Autoři: GACH, M.; FIEDOR, J.; ČEŠKA, M.

  Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
  Autoři: FIEDOR, J.; GACH, M.; ČEŠKA, M.