Assoc. Prof. Mgr. Radek Pelánek, Ph.D.
| Ř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 | |
