Detecting Races in Ensembles of Message Sequence Charts.

Edith Elkind Blaise Genest Doron A. Peled

Published in: TACAS (2007)

Keyphrases

database
databases
ensemble methods
real time
data sets
neural network
multi agent
email