Text

Säkerhetskritisk teknik

Teknisk matematik

Artificiell intelligens och intelligenta system

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

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