您当前的位置：
首页 >
文章列表页 >
广义可能性计算树逻辑的模型检测问题
学术论文 | 更新时间：2025-07-16
上一篇|下一篇

    • 广义可能性计算树逻辑的模型检测问题

    • The Model Checking Problem of Computing Tree Logic Based on Generalized Possibility Measures

    • 梁常建 ，李永明
    • 电子学报 2017年45卷第11期 页码：2641-2648

    • DOI： 10.3969/j.issn.0372-2112.2017.11.010     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

150

浏览量

268

下载量

3

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

不确定型模糊Kripke结构的计算树逻辑模型检测
时间感知Web服务交互行为建模与失配检测方法研究
实时模型检测中基于驻留环的精确加速
基于XYZ/ADL的Web服务组合描述与验证
缓冲区溢出漏洞精确检测方法研究

相关作者

李永明
潘海玉
范艳焕
Sheng
王
戎玫
张广泉
王从银

相关机构

青海师范大学民师院数学系
泰州学院计算机科学与技术学院
陕西师范大学计算机科学学院
青海师范大学民师院数学系
泰州学院计算机科学与技术学院