Informace o projektu
Distribuovaná verifikace pravděpodobnostních modelů
(DIVPROB)
- Kód projektu
- MUNI/33/E0012/2007
- Období řešení
- 9/2007 - 6/2008
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program rektora na podporu tvůrčí činnosti studentů
- Fakulta / Pracoviště MU
- Fakulta informatiky