Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.

Natallia Kokash Farhad Arbab

Published in: FMCO (2008)

Keyphrases

statistical modeling
information retrieval
image analysis
databases
data mining
learning algorithm
multi agent
digital libraries
formal model
formal analysis
structural analysis