Formal Foundations for MARTE-SystemC Interoperability.

Pablo Peil, Fernando Herrera, Eugenio Villar

Browse the full FDL paper archive.