Aplikované výsledky

• 2010

  FIEDOR, J.; GACH, M.; ČEŠKA, M.: xx; Tool for verification of systems specified in RT-Logic language. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. (Software)
  Detail

  GACH, M.; FIEDOR, J.; ČEŠKA, M.: xx; Tool for verification of systems described using the Modechart formalism. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.