Text

Artificiell intelligens och intelligenta system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Digitalisering av framtidens energi

Formell modellering och analys av inbyggda system

Förnybar energi

Heterogena system

Industriella AI-system

Industriell programvaruteknik

Komplexa inbyggda system i realtid

Lärande och optimering

Modellbaserad konstruktion av inbäddade system

Programmeringsspråk

Programvarutestlaboratorium

Resurseffektivisering

Statsvetenskap

Säkerhetskritisk teknik

Teknisk matematik

Ubiquitous Computing

Morphological Computing in Cognitive Systems

Morphological Computing in Cognitive Systems

Avslutat

Start

2015-12-01

Avslut

2020-12-31

Huvudfinansiering

Forskningsområde

Forskningsinriktning

Projektansvarig vid MDU

No partial template found