Přístupnostní navigace
E-application
Search Search Close
Ing.
Ph.D.
FIT, RG VERIFIT – Member
Send BUT message
2020
Spolehlivé, bezpečné a efektivní počítačové systémy, zahájení: 01.03.2020, ukončení: 28.02.2023Detail
2017
Bezpečné a spolehlivé počítačové systémy, zahájení: 01.03.2017, ukončení: 29.02.2020Detail
2014
Spolehlivost a bezpečnost v IT, zahájení: 01.01.2014, ukončení: 31.12.2016Detail
2013
Inovace předmětu Složitost, zahájení: 01.01.2013, ukončení: 31.12.2013Detail
2010
GAP103/10/0306, Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, zahájení: 01.01.2010, ukončení: 31.12.2013Detail