2nd ACES-MB@MoDELS 2009: Denver, CO, USA

Domain-Specific Languages for Embedded Systems

Analysis and Formalization

AADL

Variability and Reconfiguration

a service of Schloss Dagstuhl - Leibniz Center for Informatics