State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans. State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 370-375, IEEE, 2012. [doi]

This author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Alexandre David' in GoogleThis author has not been identified. Look up 'Arnd Hartmanns' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Jan Tretmans' in Google

runs on WebDSL