Přejít k obsahu

Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech

Kód projektu: GA201/08/0266
Poskytovatel: Grantová agentura České republiky
Doba trvání: 01.01.2008 - 31.12.2010
Hlavní řešitel:

Klíčová slova

komponenta; model; verifikace; simulace; chování; nahraditelnost

Zpět na seznam projektů

Patička