prof. RNDr.

Milan Češka

CSc.

Significant Former Employee

932/BUT personal ID

Products

2010

Tool for verification of systems described using the Modechart formalism, software
Authors: Gach Marek, Fiedor Jan, Češka Milan

Tool for verification of systems specified in RT-Logic language, software
Authors: Fiedor Jan, Gach Marek, Češka Milan