Informace o projektu
Automatizovaná syntéza parametrov z temporálnych špecifikácií
| Kód projektu | MUNI/C/1017/2015 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2016–31.12.2016 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Grantová agentura MU |
| Řešitel za FI |
Anotace
Cieľom projektu je výzkum výpočtových metód a techník pre automatizované získavanie parametrov z hypotézy formulovanej v temporálnej logike. Hlavné
zameranie bude na vývoj nových metód a techník pre vysoko výkonné počítačom podporované hľadanie robustných parametrizácií modelu biologických systémov a ich overenie na modelovej prípadovej štúdií.
zameranie bude na vývoj nových metód a techník pre vysoko výkonné počítačom podporované hľadanie robustných parametrizácií modelu biologických systémov a ich overenie na modelovej prípadovej štúdií.