RNDr. Vojtěch Forejt, Ph.D.
| Formální metody pro analýzu a verifikaci komplexních systémů (GAP202/10/1469) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2010 - 12/2014 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |
| Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky (MUNI/33/IP1/2013) | |
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2013 - 12/2013 |
| Investor/Programme: | Masaryk University / Internal projects of the Faculty of Informatics |
| more | |
| Rozhodnutelné vlastnosti Markových řetězců s nekonečně mnoha stavy (MUNI/33/E0017/2006) | |
| MU Investigator: | RNDr. Vojtěch Forejt, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 9/2006 - 6/2007 |
| Investor/Programme: | Masaryk University / Rector's programme to support MU student's creative work |
| more | |
