Peil, Pablo||Herrera, Fernando||Villar, Eugenio <br/><br/>
Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models 

<br/><br/><br/>English[eng] 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Medicine