基于迁移的扩展时间Buchi自动机相关硕士博士期刊学术论文 - 搜论网

基于迁移的扩展时间Buchi自动机相关论文

构建度量区时序逻辑的时间自动机

在实时系统的形式验证中，为了直接验证带有明显时间约束的性质，选用了一种被广泛接受的（线性时间）实时时序逻辑——度量区时序逻辑来描......

期刊

模型检测实时时序逻辑度量区时序逻辑基于迁移的扩展时间Buchi自动机 TABLEAU方法 model checking real-time tempora

看过本文同时还关注