Login / Signup
Characterising Testing Preorders for Finite Probabilistic Processes
Yuxin Deng
Matthew Hennessy
Rob J. van Glabbeek
Carroll Morgan
Published in:
CoRR (2008)
Keyphrases
</>
probabilistic model
process model
bayesian networks
finite number
finite automata
data driven
databases
generative model
unit length
probabilistic logic
software testing
probabilistic reasoning
belief networks
similarity measure
database systems
image segmentation
web services
website