Text

Cyber-fysisk systemanalys

Algebra och analys med tillämpningar

Artificiell intelligens och intelligenta system

Certifierbara bevis och justifieringsteknik

Digitala och cirkulära industriella tjänster (DigiCircle)

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

Medicinsk teknik

Modellbaserad konstruktion av inbäddade system

Programmeringsspråk

Programvarutestlaboratorium

Statsvetenskap

Säkerhetskritisk teknik

Teknisk matematik

ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova)

A project to develop, enhance, and deploy high performance methods and tools for quality assurance of large and distributed software-intensive systems.

Avslutat

Start

2011-09-30

Avslut

2014-09-29

Huvudfinansiering

Forskningsområde

Forskningsinriktning

Projektansvarig vid MDU

No partial template found