Text

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Säkerhetskritisk teknik

Cyber-fysisk systemanalys

Datakommunikation

Digitalisering

Heterogena system

Förnybar energi

Modellbaserad konstruktion av inbäddade system

Medicinsk teknik

Artificiell intelligens och intelligenta system

Resurseffektivisering

Programvarutestlaboratorium

Programmeringsspråk

Certifierbara bevis och justifieringsteknik

Lärande och optimering

Komplexa inbyggda system i realtid

Industriell programvaruteknik

Formell modellering och analys av inbyggda system

Ubiquitous Computing

Teknisk matematik

Morphological Computing in Cognitive Systems

Morphological Computing in Cognitive Systems

Avslutat

Start

2015-12-01

Avslut

2020-12-31

Huvudfinansiering

Forskningsområde

Projektansvarig vid MDU

No partial template found
Till toppen