VerChor: A Framework for Verifying Choreographies.

Matthias Güdemann Pascal Poizat Gwen Salaün Alexandre Dumont

Published in: FASE (2013)

Keyphrases

real time
database
image processing
semi supervised
computational framework
theoretical foundation
key features
theoretical framework
computational model
main contribution
wireless sensor networks
pairwise
wide range
case study
website
machine learning
neural network
databases