Projekty

• 2023

  Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026
  Detail

• 2021

  Zabezpečení a dohled distribuovaných výrobních informačních systémů, zahájení: 01.05.2021, ukončení: 31.12.2022
  Detail

• 2020

  Spolehlivé, bezpečné a efektivní počítačové systémy, zahájení: 01.03.2020, ukončení: 28.02.2023
  Detail

• 2019

  8A19003, Framework of key enabling technologies for safe and autonomous drones´ applications, zahájení: 01.10.2019, ukončení: 31.01.2023
  Detail

• 2017

  Bezpečné a spolehlivé počítačové systémy, zahájení: 01.03.2017, ukončení: 29.02.2020
  Detail

• 2014

  GA14-11384S, Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, zahájení: 01.01.2014, ukončení: 31.12.2016
  Detail