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
- Program rektora na podporu tvůrčí činnosti studentů
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- RNDr. Jana Tůmová, Ph.D.