Informace o projektu

Verifikace a analýza velmi velkých počítačových systémů

Kód projektu
GA201/09/1389
Období řešení
1/2009 - 12/2011
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky
Klíčová slova
verifikace, ověřování modelu, paralelní algoritmy
Logo poskytovatele

Publikace

2012

2011

Předchozí 1 2 3 4 5 6 Další

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

Další info