Quantitative system validation in model driven design

Hilger Hermanns, Kim Guldstrand Larsen, Jean-Francois Raskin, Jan Tretmans

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Abstract

The European STREP project Quasimodo1 develops theory, techniques and tool components for handling quantitative constraints in model-driven development of real-time embedded systems, covering in particular real-time, hybrid and stochastic aspects. This tutorial highlights the advances made, focussing on real industrial case studies tackled.
OriginalsprogEngelsk
TitelEmbedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10
ForlagAssociation for Computing Machinery
Publikationsdato2010
Sider301-302
ISBN (Trykt)978-160558904-6
DOI
StatusUdgivet - 2010
Begivenhed10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10 - Scottsdale, AZ., USA
Varighed: 24 okt. 201029 okt. 2010

Konference

Konference10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10
Land/OmrådeUSA
ByScottsdale, AZ.
Periode24/10/201029/10/2010

Fingeraftryk

Dyk ned i forskningsemnerne om 'Quantitative system validation in model driven design'. Sammen danner de et unikt fingeraftryk.

Citationsformater