A Uniform Framework for Modeling and Verifying Components and Connectors.

Christel Baier Tobias Blechmann Joachim Klein Sascha Klüppelholz

Published in: COORDINATION (2009)

Keyphrases

search engine
multi agent
building blocks
statistical modeling
modeling framework
data structure
recommender systems