Model, Notation, and Tools for Verification of Protocol-Based Components Assembly.

Pascal Rapicault Jean-Paul Rigault Luc Bourlier

Published in: Component Deployment (2002)

Keyphrases

probabilistic model
computational model
formal model
mathematical model
statistical model
multi agent systems
artificial neural networks
probability distribution
management system
building blocks
theoretical framework
learning environment
parameter estimation
statistical methods
metamodel