prof. RNDr.

Milan Češka

CSc.

FIT – Significant Former Employee

Send BUT message

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

Creative activities

  • 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, number of downloads: 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, number of downloads: 2
    Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.