Informace o projektu
Metody ověřování a počáteční kontroly pro formální popisy
- Kód projektu
- OC 247.10
- Období řešení
- 1/1993 - 1/1996
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- COST (jen po projekty s počátkem řešení v roce 2010)
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- Ing. Milan Šárek, CSc.
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. Ing. Miroslav Švéda, CSc.
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.