Informace o projektu
Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Logo poskytovatele
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

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ů.

Publikace

Počet publikací: 42


Předchozí 1 2 3 4 5 Další

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

Další info