Projects
-
Realistic application of formal methods in component systems (1ET400300504)
MU Researcher: prof. Ing. Jiří Sochor, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2005 — 12/2009Investor: Academy of Sciences of the Czech Republic / Information society (National programme of research)