Login / Signup
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