Informace o projektu
Software Components in Embedded Systems: Development and Verification
| Kód projektu | GAP202/11/0312 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.03.2011–31.12.2013 |
| Stav | ukončený |
| Investor | Grantová agentura ČR |
| Program | Standardní projekty |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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ů.