Projekty
2023
Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026
Detail2020
Spolehlivé, bezpečné a efektivní počítačové systémy, zahájení: 01.03.2020, ukončení: 28.02.2023
DetailGJ20-02328Y, Computer-Aided Quantitative Synthesis, zahájení: 01.01.2020, ukončení: 31.12.2022
Detail2019
Automaty v rozhodovacích procedurách a verifikaci, zahájení: 01.01.2019, ukončení: 31.12.2021
Detail2016
LQ1602, IT4Innovations excellence in science, zahájení: 01.01.2016, ukončení: 31.12.2020
Detail