Mojmír Křetínský

Projects

• 2009

  Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed

• 1994

  Verification and Validation Methods for Formal Descriptions, COST247, 1994-1996, completed