Login / Signup
基于CPN对系统的并发行为进行测试 (Testing Concurrent Behavior of System Based on CPN).
Hua Li
Tao Sun
Xianrong Wang
Yi Xing
Yingjie Li
Xinghang Xia
Published in:
计算机科学 (2016)
Keyphrases
</>
petri net
coloured petri nets
test bed
counter propagation
formal verification
behavior analysis
human behavior
decision making
neural nets
data sets
metadata
image processing
decision trees
bayesian networks
test set
test cases