Prof. RNDr. Milan Češka, CSc.

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

Your IPv4 address: 54.166.245.10
Switch to IPv6 connection

DNSSEC [dnssec]