Login / Signup
基于关联矩阵的软件演化过程结构验证 (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