Formal Foundations for MARTE-SystemC Interoperability

Pablo Peñil, Fernando Herrera, Eugenio Villar. Formal Foundations for MARTE-SystemC Interoperability. In Adam Morawiec, Jinnie Hinderscheit, editors, Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK. pages 197-202, ECSI, Electronic Chips & Systems design Initiative, 2010.

Authors

Pablo Peñil

This author has not been identified. Look up 'Pablo Peñil' in Google

Fernando Herrera

This author has not been identified. Look up 'Fernando Herrera' in Google

Eugenio Villar

This author has not been identified. Look up 'Eugenio Villar' in Google