Asynchronous test equivalence for probabilistic processes.

Published in: APSEC (2020)

Keyphrases

probabilistic model
information systems
data driven
bayesian networks
asynchronous communication
neural network
machine learning
genetic algorithm
decision making
case study
computational models
uncertain data
belief networks
probabilistic logic
state machines