Informace o projektu
Formální verifikace pravděpodobnostních modelů (FormVer)

Kód projektu
MUNI/33/E0014/2007
Období řešení
9/2007 - 6/2008
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