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

Peil, Pablo||Herrera, Fernando||Villar, Eugenio

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


English[eng]


Medicine