概率时态认知逻辑模型检测中三值抽象技术的研究

您当前的位置：

首页 >

文章列表页 >

概率时态认知逻辑模型检测中三值抽象技术的研究

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 概率时态认知逻辑模型检测中三值抽象技术的研究
- Three-Valued Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
- 周从华，孙博，刘志锋，葛云
- 电子学报 2012年40卷第10期页码：2052-2061
- 作者机构：
  1. 江苏大学计算机科学与通信工程学院,镇江,212013
  2. 南京大学电子科学与工程学院,南京,210093
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61003288,No.6111130184);江苏省自然科学基金 (No.BK2010192);教育部博士点基金 (No.20093227110005)
- DOI： 10.3969/j.issn.0372-2112.2012.10.025
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

65

浏览量

43

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

时间感知Web服务交互行为建模与失配检测方法研究

实时模型检测中基于驻留环的精确加速

基于XYZ/ADL的Web服务组合描述与验证

缓冲区溢出漏洞精确检测方法研究

模型检测:理论、方法与应用

相关作者

Sheng

王

戎玫

张广泉

王从银

庄雷

尹传龙

石慧娟

相关机构

暨南大学深圳旅游学院广东深圳

中国科学院计算机科学国家重点实验室北京

苏州大学计算机科学与技术学院江苏苏州

暨南大学深圳旅游学院

中国科学院计算机科学国家重点实验室