Project information
Distribuovaná formální verifikace systémů s využitím pevných disků
(DFVDISK)
- Project Identification
- MUNI/C/0002/2008
- Project Period
- 10/2008 - 6/2009
- Investor / Pogramme / Project type
-
Masaryk University
- Rector's programme to support MU student's creative work
- Category C - centralized resources
- MU Faculty or unit
-
Faculty of Informatics
- RNDr. Pavel Šimeček, Ph.D.