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

Produkty

2010Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
Autoři: Gach Marek, Fiedor Jan, Češka Milan
 Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
Autoři: Fiedor Jan, Gach Marek, Češka Milan

Vaše IPv4 adresa: 54.161.40.41
Přepnout na IPv6 spojení

DNSSEC [dnssec]