%0 Journal Article
%T 实时模型检测精确加速窗口的计算原理及算法
%A 和孟佯
%A 宋玉
%A 庄雷
%A 马岭
%A 王国卿
%J -
%D 2020
%R 10.7544/issn1000-1239.2020.20190052
%X 时间自动机为实时系统进行建模时，通常会因不同的时间度量而产生..
%K [模型检测
%K 时间自动机
%K 精确加速
%K 可加速环
%K 窗口
%K model checking
%K timed automata
%K exact acceleration
%K acceleratable cycle
%K window]
%U http://crad.ict.ac.cn/CN/10.7544/issn1000-1239.2020.20190052