C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
基于关联矩阵的软件演化过程结构验证 (Structure Verification Method for Software Evolution Process Based on Incidence Matrix).
Jinzhuo Liu
Qian Yu
Na Zhao
Zhongwen Xie
Yong Yu
Feilu Hang
Yunzhi Jin
Published in:
计算机科学 (2015)
Keyphrases
</>
evolution process
verification method
evolutionary algorithm
temporal logic
neural network
genetic algorithm
level set
cost function
optimization algorithm
model checking
differential evolution