Formal support for untimed MARTE-SystemC interoperability
- Peñil, P.
- Herrera, F.
- Villar, E.
ISSN: 1876-1100, 1876-1119
ISBN: 9781461414261
Any de publicació: 2012
Volum: 106 LNEE
Pàgines: 239-254
Tipus: Aportació congrés
Col·lecció de llibres:
Lecture Notes in Electrical Engineering