Data-flow Based Model Analysis.

Christian Saad Bernhard Bauer

Published in: NASA Formal Methods (2010)

Keyphrases

data flow
computational model
probabilistic model
mathematical model
probability distribution
theoretical analysis
experimental data
neural network
data sets
social networks
high level
database management systems
statistical model
formal model
empirical data
workflow model