Tvůrčí aktivity

• 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

• 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

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