Projects
-
2014
Výzkum pokročilých metod ICT a jejich aplikace, BUT, Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, completed
-
2005
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, 2005-2007, completed
-
2004
Design and implementation of embedded formal verification assistants in the .NET framework, MS1412001, 2004-2005, completed