prof. RNDr.

Mojmír Křetínský

CSc.

FIT, CM-SFE – external - FI MUNI

Send BUT message

prof. RNDr. Mojmír Křetínský, CSc.

Projects

  • 2009

    GD102/09/H042, 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ů, zahájení: 30.01.2009, ukončení: 31.12.2012
    Detail

  • 1994

    Verification and Validation Methods for Formal Descriptions, zahájení: 01.01.1994, ukončení: 31.12.1996
    Detail