by Anne Bloksgaard Nielsen | Jul 2, 2019
Quasimodo - Quantitative System Properties in Model-Driven-Design of Embedded Systems Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE...
by Anne Bloksgaard Nielsen | Jul 1, 2019
RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE...
by Anne Bloksgaard Nielsen | Jun 30, 2019
SafeConnect - Technological Partnership for Safely Embedded Software Systems Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE...
by Anne Bloksgaard Nielsen | Jun 29, 2019
SENSATION- Self Energy-Supporting Autonomous Computation Completed projectsApproximate Reasoning for Stochastic Markovian Systems Arrowhead ARTEMIS ARTIST2 ArtistDesign CASSTING CISS ConneCT CJ4ES CLINES CRAFTERS D-Artemis DaNES ENCOURAGE Energy-efficient regulation...
Recent Comments