Informace o projektu
Distribuovaná verifikace pravděpodobnostních modelů
Kód projektu | MUNI/33/E0012/2007 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.09.2007–30.06.2008 |
Stav | ukončený |
Investor | Masarykova univerzita |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Řešitel za FI |