Projekty
-
Realistická aplikace formálních metod v komponentových systémech (1ET400300504)
Řešitel na MU: prof. Ing. Jiří Sochor, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2005 — 12/2009Investor/Program: Akademie věd ČR / Informační společnost (Národní program výzkumu)