Informace o projektu
Distribuovaná formální verifikace systémů s využitím pevných disků
(DFVDISK)
- Kód projektu
- MUNI/C/0002/2008
- Období řešení
- 10/2008 - 6/2009
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program rektora na podporu tvůrčí činnosti studentů
- Kat. C - Podpora vynikajících disertačních prací v oborech lékařství, zdravotnictví, přírodovědy a informatiky - centralizované prostředky
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- RNDr. Pavel Šimeček, Ph.D.