MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy | Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems |
|
1ET400300504, research and development project | Name: Realistická aplikace formálních metod v komponentových systémech | Investor: Academy of Sciences of the Czech Republic, Realistic application of formal methods in component systems |
|
1ET408050503, research and development project | Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů | Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems |
|
1M0545, research and development project | Name: Institut Teoretické Informatiky | Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science |
|