Verification of an industrial SystemC/TLM model using LOTOS and CADP.

Hubert Garavel Claude Helmstetter Olivier Ponsini Wendelin Serwe

Published in: MEMOCODE (2009)

Keyphrases

computational model
high level
experimental data
objective function
probabilistic model
mathematical model
cost function
formal model
social networks
decision making
image segmentation
similarity measure
probability distribution
em algorithm
theoretical framework