Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.

Francien Dechesne Mohammad Reza Mousavi Simona Orzan

Published in: LPAR (2007)

Keyphrases

statistical analysis
data analysis
lightweight
quantitative analysis
strengths and weaknesses
real time
information retrieval
information systems
decision making
database systems
formal analysis