Informace o projektu

Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Kód projektu
GAP202/11/0312
Období řešení
3/2011 - 12/2013
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta/Pracoviště MU
Fakulta informatiky
Spolupracující organizace
Univerzita Karlova v Praze
Logo poskytovatele

Cílem projektu je návrh metodologie pro vývoj a verifikaci komponentových systémů se zaměřením na zapouzdřené aplikace, návrh technik a nástrojů pro specifikaci a formální deskripci komponentových systémů a návrh a implementace efektivních metod pro verikaci správnosti komponentových systémů.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info