Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
prof. RNDr.
CSc.
FIT, CK-SZZ – externí - FI MUNI
Odeslat VUT zprávu
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.2012Detail
1994
Verification and Validation Methods for Formal Descriptions, zahájení: 01.01.1994, ukončení: 31.12.1996Detail