Release Time:2022-11-02 Hits:
Date of Publication: 2022-10-08
Journal: 软件学报
Institution: 软件学院
Volume: 7
Issue: 9
Page Number: 2061-2068
ISSN: 1796-217X
Prev 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