Projekty

• 2023

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

• 2020

  8A20009, Verification and Validation of Automated Systems' Safety and Security, zahájení: 01.05.2020, ukončení: 31.07.2023
  Detail

  GA20-07487S, Scalable Techniques for Analysis of Complex Properties of Computer Systems, zahájení: 01.01.2020, ukončení: 31.12.2022
  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

  8A19010, Arrowhead Tools for Engineering of Digitalisation Solutions, zahájení: 01.05.2019, ukončení: 31.07.2022
  Detail