QUASIMODO: Quantitative System Properties in Model-Driven-Design of Embedded Systems

Publications: in EPrints
Further information: http://www.quasimodo.aau.dk/