Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC.

Zhihua Yang Bo Xiao Yixiang Chen

Published in: TASE (2015)

Keyphrases

social networks
model checking
search space
data sets
probabilistic model
higher dimensional
small world
real time
machine learning
information retrieval
low dimensional
microarray
network design
signature verification
verification method