Model for Parallel Verification of Programs.

Pei He Lishan Kang Qiongzhang Li

Published in: SNPD (3) (2007)

Keyphrases

experimental data
simulation model
theoretical framework
data mining
sensitivity analysis
model checking
mathematical model
computational model
prior knowledge
management system
probabilistic model
data model
statistical model
video sequences
objective function
high level
data sets
formal model