Modeling and Verification of a Network Player System with DCValid.

Jianzhong Wang Qiwen Xu Huadong Ma

Published in: APAQS (2000)

Keyphrases

modeling method
model checking
network model
network parameters
data mining
artificial neural networks
network traffic
community structure
communication networks
link prediction