时间正则图相关硕士博士期刊学术论文 - 搜论网

时间正则图相关论文

离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质．我们约束时间域到离散时间，证明了离散时间区间时序逻辑......

期刊

模型检查离散时间区间时序逻辑时间正则图可满足性判定 model checking discrete limed interval temporal log

时间区间时序逻辑模型检测：理论、算法及应用

行为、事件具有实时关系的软件或硬件系统构成了实时(计算)系统。在交通控制,航空航天等一系列对安全性要求极高的应用领域,实时系......

学位

时间正则图时间区间时序逻辑满足性判定模型检测误用入侵检测

看过本文同时还关注