Mojmír Křetínský

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, 2009-2012, ukončen

• 1994

  Verification and Validation Methods for Formal Descriptions, COST247, 1994-1996, ukončen