实时模型检测精确加速窗口的计算原理及算法
王国卿, 庄雷, 和孟佯, 宋玉, 马岭
Calculation Principle and Algorithm for the Window of Exact Acceleration in Real-Time Model Checking
Wang Guoqing, Zhuang Lei, He Mengyang, Song Yu, Ma Ling
计算机研究与发展
.
2020, (1): 214
-226
.
DOI: 10.7544/issn1000-1239.2020.20190052