Informace o projektu
Metody ověřování a počáteční kontroly pro formální popisy
| Kód projektu | OC 247.10 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.1993–31.01.1996 |
| Stav | ukončený |
| Investor | Ministerstvo školství, mládeže a tělovýchovy ČR |
| Program | COST (jen po projekty s počátkem řešení v roce 2010) |
| Řešitel za FI |
Anotace
Uvedení do souladu národních aktivit v oblasti analýzy a klasifikace distribuovaných systémů s novými a efektivními technikami verifikace a validace vytvořenými v rámci EU.