Login / Signup

Generating heterogeneous executable specifications in SystemC from UML/MARTE models.

Pablo PeñilJulio L. MedinaHector PosadasEugenio Villar
Published in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
  • formal specification
  • conceptual models
  • database systems
  • complex systems
  • metamodel
  • control flow
  • bayesian networks
  • probabilistic model
  • software systems
  • conceptual modeling