Unifying Probabilistic and Traditional Formal Model Based Analysis.

Frank Ortmeier Matthias Güdemann Michael Lipaczewski Simon Struck

Published in: MBEES (2012)

Keyphrases

statistical analysis
data analysis
formal analysis
data sets
information retrieval
artificial intelligence
image analysis
data model
posterior probability
quantitative analysis