Frank Zhou
Wang X.,houguangfeng,Wang Jie,Ai S.
2022-10-08
软件学报
软件学院
J
7
9
2061-2068
1796-217X
Pre One:Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm
Next One:Software verification acceleration by integrating theorem proving and model checking