An Executable Semantics of the SystemC UML Profile.

Elvinia Riccobene Patrizia Scandurra

Published in: ASM (2010)

Keyphrases

uml profile
metamodel
modeling language
formal semantics
control flow
process algebra
attribute grammars
relational databases
semantic information