GAČR

  •  P202/11/0340 - Modelování a verifikace paralelních systémů (2011-2014)

TAČR

  • We are a part of the Center of Applied Cybernetics (CAK3),
    project No. TE01020197 (2012-2015)

Software projects

  • Kaira - The tool for modeling and generating parallel aplications