Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models - Peñil, Pablo; Herrera, Fernando; Villar, Eugenio (IntechOpen, 2012)
None