Projects

• 2020

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

• 2017

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

• 2014

  Spolehlivost a bezpečnost v IT, zahájení: 01.01.2014, ukončení: 31.12.2016
  Detail

• 2013

  Inovace předmětu Složitost, zahájení: 01.01.2013, ukončení: 31.12.2013
  Detail

• 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.2013
  Detail