Formal Modeling and Analysis of Organizations.

Egon L. van den Broek Catholijn M. Jonker Alexei Sharpanskykh Jan Treur Pinar Yolum

Published in: AAMAS Workshops (2005)

Keyphrases

machine learning
quantitative analysis
real time
data sets
image processing
artificial neural networks
case study
formal model
formal methods
formal analysis