prof. RNDr.

Milan Češka

CSc.

FIT – významný bývalý pracovník

Odeslat VUT zprávu

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

Tvůrčí aktivity

  • FIEDOR, J.; GACH, M.; ČEŠKA, M.: zetav; Tool for verification of systems specified in RT-Logic language. http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav, počet stažení: 2
    Detail

  • GACH, M.; FIEDOR, J.; ČEŠKA, M.: verif; Tool for verification of systems described using the Modechart formalism. http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/verif, počet stažení: 2
    Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.