Multiple instances and symbolic variables in executable sequence charts.

Rami Marelly David Harel Hillel Kugler

Published in: OOPSLA (2002)

Keyphrases

high level
variable selection
neural network
randomly generated
learning algorithm
case study
search algorithm
input data