Produkty
-
2024
Mata: Knihovna pro konečné automaty, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M. -
2023
2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
Autoři: 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. -
2022
Analyzátor metrik monitorovaných v dohledovém centru, software, 2022
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A.; ŠVÉDA, M.; HRADSKÝ, T. -
2021
Software pro měření a vyhodnocení výkonnostních parametrů, software, 2021
Autoři: FIEDOR, T.; HRUŠKA, M.; SMRČKA, A. -
2020
Nástroj pro přípravu testů průmyslových aplikací, software, 2020
Autoři: HRUŠKA, M.; FIEDOR, T.; PANOV, S.; ROZSÍVAL, M.; SMRČKA, A.; TUREČEK, D.; POSPÍŠIL, L.; ČELEDA, P.