Login / Signup
Analysis of meeting protocols by formalisation, simulation, and verification.
Catholijn M. Jonker
Martijn C. Schut
Jan Treur
Pinar Yolum
Published in:
Comput. Math. Organ. Theory (2007)
Keyphrases
</>
formal analysis
data sets
mathematical analysis
website
real time
neural network
machine learning
knowledge base
image analysis
simulation models
signature verification