Modeling MARTE Sequence Diagram with Timing Pi-Calculus.

Wei Jin Hanpin Wang Meixia Zhu

Published in: ISORC (2011)

Keyphrases

sequence diagrams
petri net
intermediate representation
data sets
artificial intelligence
video sequences
fine grained
regression testing
uml models
activity diagrams