Milan Češka

Products

• 2010

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

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