TY - BOOK AU - Peil, Pablo||Herrera, Fernando||Villar, Eugenio TI - Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models KW - Medicine UR - https://library.oapen.org/bitstream/20.500.12657/49080/1/29211.pdf||https://library.oapen.org/bitstream/20.500.12657/49080/1/29211.pdf||https://library.oapen.org/bitstream/20.500.12657/49080/1/29211.pdf ER -