Verifying the Mondex Case Study.

Peter H. Schmitt Isabel Tonin

Published in: SEFM (2007)

Keyphrases

decision making
case study
decision makers
lessons learned
data sets
model checking
real world
information technology
business intelligence
design process
multi agent systems
information extraction
software development