Tvůrčí aktivity

• HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.: tyrant; A Tool for Creating Test Scenarios for Industry Applications. https://pajda.fit.vutbr.cz/tacr-unis/tyrant. URL: https://pajda.fit.vutbr.cz/tacr-unis/tyrant. (software)
  https://pajda.fit.vutbr.cz/tacr-unis/tyrant, počet stažení: 0
  Detail

• FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.: prefekt; Software for measurement and evaluation of performance parameters. https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix. URL: https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix. (software)
  https://pajda.fit.vutbr.cz/tacr-unis/prefekt/-/tree/prefekt-1.0-hotfix, počet stažení: 0
  Detail

• FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T.: perfaide; Analyzátor metrik monitorovaných v dohledovém centru. Zdrojové kódy a dokumentace se nachází v GitLab repozitáři https://pajda.fit.vutbr.cz/tacr-unis/perfaide. Do repozitáře je umožněn přístup pouze na základě smlouvy o komerčním využití výsledků projektu.. URL: https://www.fit.vut.cz/research/product/761/. (software)
  https://www.fit.vut.cz/research/product/761/, počet stažení: 0
  Detail

• KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
  https://github.com/diffblue/2ls/releases/tag/2ls-0.10, počet stažení: 0
  Detail

• HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: mata; Mata: A Finite Automata Library. https://github.com/VeriFIT/mata. URL: https://github.com/VeriFIT/mata. (software)
  https://github.com/VeriFIT/mata, počet stažení: 0
  Detail

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