Formal Foundations for MARTE-SystemC Interoperability

P. Peñil,F. Herrera,E. Villar
DOI: https://doi.org/10.1049/IC.2010.0152
Abstract:
What problem does this paper attempt to address?