MBAT

MBAT

MBAT - Combined Model-based Analysis and Testing of Embedded Systems Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient...
MoDES 2

MoDES 2

MoDES 2 Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation processes FoodManufuture GASICS...
MT-LAB

MT-LAB

MT-LAB Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation processes FoodManufuture GASICS...
MULTIFORM

MULTIFORM

MULTIFORM Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation of separation processes FoodManufuture GASICS...