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

Logo poskytovatele
Kód projektu
GP201/09/P497
Období řešení
1/2009 - 12/2011
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky

Publikace

Počet publikací: 25


Předchozí 1 2 3 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info