Projekty
-
2014
Výzkum pokročilých metod ICT a jejich aplikace, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, ukončen, zahájení: 2014-01-01, ukončení: 2016-12-31
Detail -
2005
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, GA102/05/0723, 2005-2007, ukončen, zahájení: 2005-01-01, ukončení: 2007-12-31
Detail -
2004
Design and implementation of embedded formal verification assistants in the .NET framework, MSR, MS1412001, 2004-2005, ukončen, zahájení: 2004-03-12, ukončení: 2005-09-30
Detail