Filtry
Automated formal verification using modern hardware (GP201/09/P497)
We will conduct basic research in the field of automated formal verification and analyses of computer, biological, and probabilistic systems. In particular, we will focus on efficient utilization of modern hardware such as multi-cored workstations, s...
IN - Informatika
- 2009 - 2011 •
- 572 tis. Kč •
- 572 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)
The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and analysis of computer systems. The project aims to support the development of methodologies, technologies and tools ...
IN - Informatika
- 2009 - 2011 •
- 1 892 tis. Kč •
- 1 892 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Metrology for static and dynamic characterization of supercapacitors (9B24015)
určení ekvivalentního elektrického modelu SC pro dynamické aplikace. Rychle...
Electrical and electronic engineering
- 2024 - 2027 •
- 4 892 tis. Kč •
- 2 446 tis. Kč •
- MŠMT
Řešení projektu: 1. 6. 2024 - 31. 5. 2027
Uznané náklady
Podpora ze státního rozpočtu (50%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Enabling access to geological information in support of GMES (7E11056)
dat, např. pro konstrukci velmi přesného (a podrobného) digitálního modelu terénu...
DB - Geologie a mineralogie
- 2012 - 2012 •
- 117 tis. Kč •
- 117 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2012 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 4 z 4