This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
grants:public_list [2011/04/28 15:59] xkubalik |
grants:public_list [2016/03/10 09:35] (current) xkubalik |
||
---|---|---|---|
Line 11: | Line 11: | ||
* GA102/03/0672 (13/03008/13136), "Research of methods and tools for verification of embedded computer system fault tolerance" ("Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám") of the Czech Grant Agency (GACR), 2003 - 2005 | * GA102/03/0672 (13/03008/13136), "Research of methods and tools for verification of embedded computer system fault tolerance" ("Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám") of the Czech Grant Agency (GACR), 2003 - 2005 | ||
* MSM212300014, "Research in the area of information technologies and communications" ("Výzkum v oblasti informačních technologií a komunikací"), 1994 - 2004 | * MSM212300014, "Research in the area of information technologies and communications" ("Výzkum v oblasti informačních technologií a komunikací"), 1994 - 2004 | ||
+ | * GAP103/12/2377, "Studium vlastností residuální aritmetiky pro řešení soustav lineárních rovnic (Study of properties of residual arithmetic for solving sets of linear equations)", 2012-2014 | ||
+ | * TE01020186 - Centrum integrovaných družicových a pozemských navigačních technologií, 2012-2019 |