Formal Foundations for MARTE-SystemC Interoperability.

Pablo Peñil Fernando Herrera Eugenio Villar

Published in: FDL (2010)

Keyphrases

web services
formal methods
metadata
data sets
databases
information systems
decision trees
digital libraries
formal model
information integration
formal specification
formal analysis
semantic mapping