Component-Based Verification Model of Sequential Programs.

Pei He Achun Hu Dongqing Xie Zhiping Fan

Published in: J. Softw. (2015)

Keyphrases

statistical model
management system
formal model
theoretical analysis
database
data sets
theoretical framework
formal methods
network model
experimental data
computational model
em algorithm
probabilistic model
artificial neural networks
multi agent
machine learning
data mining
neural network
real time