(符号)模型检验相关硕士博士期刊学术论文 - 搜论网

(符号)模型检验相关论文

广义反应式系统形式开发方法研究

该文给出基于转换系统的不同扩充形式，作为三类反应式系统的计算模型;采用时态逻辑PLTL及其扩充形式作为三类反应式系统的形式化描......

学位

反应系统时态逻辑/PLTL 转换系统计算模型并发系统实时系统混合系统形式化描述(规约) 验证 (符号)模型检验通信协议可信性时态性质安全性

看过本文同时还关注