Přístupnostní navigace
E-application
Search Search Close
prof. RNDr.
CSc.
FIT – Significant Former Employee
Send BUT message
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: 2Detail
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: 2Detail
In the event of a discrepancy in the data, inspect the FAQs for visiting cards.