Projekty
-
2021
Zabezpečení a dohled distribuovaných výrobních informačních systémů, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/12, 2021-2022, řešení
-
2020
Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, 2020-2024, řešení
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, ukončen
-
2019
Nástroje Arrowhead pro inženýrství a řešení digitalizace, MŠMT, Společná technologická iniciativa ECSEL, 8A19010, 2019-2022, ukončen
-
2017
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen