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

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.157.81.13
Přepnout na IPv6 spojení

DNSSEC [dnssec]