Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff. Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. In 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany. pages 1044-1049, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Massimo Baleani' in GoogleThis author has not been identified. Look up 'Alberto Ferrari' in GoogleThis author has not been identified. Look up 'Leonardo Mangeruca' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Ulrich Freund' in GoogleThis author has not been identified. Look up 'Erhard Schlenker' in GoogleThis author has not been identified. Look up 'Hans-Jörg Wolff' in Google

runs on WebDSL