Project information
Formální verifikace pravděpodobnostních modelů
(FormVer)
- Project Identification
- MUNI/33/E0014/2007
- Project Period
- 9/2007 - 6/2008
- Investor / Pogramme / Project type
-
Masaryk University
- Rector's programme to support MU student's creative work
- MU Faculty or unit
-
Faculty of Informatics
- RNDr. Jana Tůmová, Ph.D.