Independence Abstractions and Models of Concurrency.

Vijay Victor D'Silva Daniel Kroening Marcelo Sousa

Published in: VMCAI (2017)

Keyphrases

real time
data mining
high level
machine learning algorithms
statistical models
probabilistic model
complex systems
bayesian framework
computational models
autoregressive