Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
Ph.D.
FIT, CK-SZZ – člen pracovní skupiny
scuglik@fit.vut.cz
Odeslat VUT zprávu
2014
Výzkum pokročilých metod ICT a jejich aplikace, zahájení: 01.01.2014, ukončení: 31.12.2016Detail
2005
GA102/05/0723, Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, zahájení: 01.01.2005, ukončení: 31.12.2007Detail
2004
Design and implementation of embedded formal verification assistants in the .NET framework, zahájení: 12.03.2004, ukončení: 30.09.2005Detail