Hits:
Date of Publication:2022-10-08
Journal:软件学报
Affiliation of Author(s):软件学院
Volume:7
Issue:9
Page Number:2061-2068
ISSN No.: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