InTechOpen uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Computer and Information Science » Computer Science and Engineering » "Embedded Systems - Theory and Design Methodology", book edited by Kiyofumi Tanaka, ISBN 978-953-51-0167-3, Published: March 2, 2012 under CC BY 3.0 license. © The Author(s).

Chapter 11

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

By Pablo Peñil, Fernando Herrera and Eugenio Villar
DOI: 10.5772/36918