Revisiting Safe Realizability of Message Sequence Charts Specifications.

Abdolmajid Mousavi Behrouz H. Far

Published in: ICECCS (2008)

Keyphrases

high level
email
databases
neural network
data sets
computer vision
multiscale
specification language
control flow
message delivery