Informace o projektu
Distribuovaná formální verifikace systémů s využitím pevných disků (DFVDISK)

Kód projektu
MUNI/C/0002/2008
Období řešení
10/2008 - 6/2009
Investor / Programový rámec / typ projektu
Masarykova univerzita
Fakulta / Pracoviště MU
Fakulta informatiky

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

Další info