Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
FIT, UITS – vědecký pracovník
+420 54114 1178iandri@fit.vut.cz
Odeslat VUT zprávu
2024
Verification and Analysis for Safety and Security of Applications in Life, zahájení: 01.06.2024, ukončení: 31.05.2027Detail
2023
GA23-06963S, VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, zahájení: 01.03.2023, ukončení: 31.12.2025Detail
Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026Detail