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, 2009-2012, completed
-
1994
Verification and Validation Methods for Formal Descriptions, COST247, 1994-1996, completed