您当前的位置：
首页 >
文章列表页 >
具有模糊时态的广义可能性线性时序逻辑的模型检测
具有模糊时态的广义可能性线性时序逻辑的模型检测
Model Checking of Fuzzy Linear Temporal Logic Based on Generalized Possibility Measures
- 电子学报 2017年45卷第12期 页码：2971-2977
DOI： 10.3969/j.issn.0372-2112.2017.12.020
移动端阅览
HTML全文
参考文献
出版信息
数据统计
183
浏览量
268
下载量
6
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
低轨巨星座多品类业务流低复杂度分段路由方法
基于动态图的PPI网络构建和复合物挖掘算法研究
面向SoC系统芯片中跨时钟域设计的 模型检验方法
多播路由算法MPH的时间复杂度研究
稀疏表示下的非监督显著对象提取
相关作者
刘欢
王宁远
刘亮
陈东
郝时光
闵慧
罗爱静
李鹏
相关机构
鹏城实验室
北京空间机电研究所
中国空间技术研究院通信与导航卫星总体部
湖南中医药大学信息科学与工程学院
医学信息研究湖南省普通高等学校重点实验室(中南大学)
