Assoc. Prof. Mgr. Radek Pelánek, Ph.D.
| Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012) | |
| MU Investigator: | Prof. RNDr. Mojmír Křetínský, CSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2013 - 12/2013 |
| Investor/Programme: | Masaryk University / Student Project Grant at MU (specific research, rector's programme) |
| more | |
| Řešení obtížných dobře strukturovaných problémů: spolupráce člověka a počítače (GAP202/10/0334) | |
| MU Investigator: | Assoc. Prof. Mgr. Radek Pelánek, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2010 - 12/2012 |
| Investor/Programme: | Czech Science Foundation / Standard Projects |
| more | |
| Automatic model analysis by state space exploration (GP201/07/P035) | |
| MU Investigator: | Assoc. Prof. Mgr. Radek Pelánek, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2007 - 12/2009 |
| Investor/Programme: | Czech Science Foundation / Post-graduate (doctorate) grants |
| more | |
| PODPORA ZÁJMU NADANÉ MLÁDEŽE O STUDIUM PŘÍRODOVĚDNÝCH, MATEMATICKÝCH A INFORMATICKÝCH OBORŮ NA MU (ROZV/CSM3/2008) | |
| MU Investigator: | Mgr. Michal Bulant, Ph.D. |
| MU Faculty/Unit: | Faculty of Science |
| Project Period: | 1/2008 - 12/2008 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Development Programmes |
| more | |
| Rozšířená verifikace konečně stavových systémů (FRVS/237/2005/G6) | |
| MU Investigator: | Assoc. Prof. Mgr. Radek Pelánek, Ph.D. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2005 - 12/2005 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / University Development Fund |
| more | |
