Verification of Control Properties in the Polyhedral Model.

David Cachera Katell Morin-Allory

Published in: MEMOCODE (2003)

Keyphrases

experimental data
sensitivity analysis
high level
network model
probabilistic model
computational model
information systems
markov random field
em algorithm
theoretical analysis
statistical model
object model
control structure