Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
FIT, UITS – vědecký pracovník
+420 54114 1178ivasicek@fit.vut.cz
Odeslat VUT zprávu
FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: ANaConDA 0.4; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (software)https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip, počet stažení: 0Detail
VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: OSLC ANaConDA 1.0; OSLC ANaConDA Adapter, Version 1.0. http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (software)http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip, počet stažení: 0Detail
SMRČKA, A.; VAŠÍČEK, O.; FIEDOR, J.; VOJNAR, T.: Testos-Aufover; Testos-Aufover - Verification as a Service. https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. URL: https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0. (software)https://pajda.fit.vutbr.cz/testos/testos-aufover/-/tree/v1.0, počet stažení: 0Detail
VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: Unite 3.0; Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (software)https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0, počet stažení: 0Detail
Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.