Informace o projektu

Automatizovaná formální verifikace s využitím soudobého hardware

Kód projektu GP201/09/P497 CEP CORDIS MU WEB INET MU
Doba řešení 01.01.2009–31.12.2011
Stav ukončený
Investor Grantová agentura ČR
Program Postdoktorské projekty
Řešitel za FI

Zpět na seznam investorů