Projekty
-
2009
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
-
1994
Verification and Validation Methods for Formal Descriptions, COST247, zahájení: 1994-01-01, ukončení: 1996-12-31, ukončen