桂林电子科技大学学报2022，Vol.42Issue(5)：P.423-430,8.
线性时间属性中近似安全性和活性的刻画
摘要
关键词
线性时间属性/模糊逻辑/安全性/活性/线性时态逻辑分类
信息技术与安全科学引用本文复制引用
常玉婷,潘海玉..线性时间属性中近似安全性和活性的刻画[J].桂林电子科技大学学报,2022,42(5):P.423-430,8.基金项目
国家自然科学基金(62162014) （62162014）
广西自然科学基金(2018GXNSFAA281326) （2018GXNSFAA281326）
广西可信软件重点实验室基金(kx201911)。 （kx201911）
