prof. RNDr.
Mojmír Křetínský
CSc.
external - FI MUNI
Projects
-
2009
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
-
1994
Verification and Validation Methods for Formal Descriptions, COST247, start: 1994-01-01, end: 1996-12-31, completed