prof. RNDr.

Mojmír Křetínský

CSc.

FIT, CK-SZZ – externí - FI MUNI

Odeslat VUT zprávu

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

Projekty

  • 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