Project information
Verification and validation methods for formal description
- Project Identification
- OC 247.10
- Project Period
- 1/1993 - 1/1996
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- COST
- MU Faculty or unit
-
Faculty of Informatics
- Ing. Milan Šárek, CSc.
- Cooperating Organization
-
Brno University of Technology
- Responsible person 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.