Proving Model Equivalence in Model Based Design.

Ashlie B. Hocking John C. Knight M. Anthony Aiello Shinichi Shiraishi

Published in: ISSRE Workshops (2014)

Keyphrases

mathematical model
high level
probabilistic model
conceptual framework
theoretical framework
conceptual model
similarity measure
modelling language
data sets
machine learning
bayesian networks
multiscale
expert systems
em algorithm
modeling tool
layout design