Semi-formal refinement of heterogeneous embedded systems by foreign model integration

Conference Object

Abstract: There is a need for integration of external models in high-level system design flows. We introduce a

Palabras claves:

Autores:

Ingo Sander, Niaki S.H.A.

Fuentes:

scopus