Compositional Verification of Probabilistic Processes.

Kim Guldstrand Larsen Arne Skou

Published in: CONCUR (1992)

Keyphrases

bayesian networks
probabilistic model
uncertain data
face verification
database
neural network
data driven
generative model
process model
probabilistic networks
probabilistic logic
probability theory
probabilistic reasoning
context sensitive
software engineering
information technology
multiscale
data sets
real time