量子马尔可夫链安全性模型检测

您当前的位置：

首页 >

文章列表页 >

量子马尔可夫链安全性模型检测

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

上一篇|下一篇

- 量子马尔可夫链安全性模型检测
- Model Checking of Safety Property over Quantum Markov Chain
- 林运国，雷红轩，李永明
- 电子学报 2014年42卷第11期页码：2191-2197
- 作者机构：
  1. 陕西师范大学计算机科学学院,陕西,西安,710119
  2. 福建农林大学计算机与信息学院,福建,福州,350002
  3. 内江师范学院数学与信息科学学院,四川,内江,641112
  4. 陕西师范大学计算机科学学院,陕西,西安,710119
  5. 福建农林大学计算机与信息学院,福建,福州,350002
  6. 内江师范学院数学与信息科学学院,四川,内江,641112
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.11271237,No.61228305);高等学校博士学科点专项科研基金 (No.20130202110001,No.20130202120002);中央高校基本科研业务费专项资金 (No.GK201302054)
- DOI： 10.3969/j.issn.0372-2112.2014.11.010
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

13

浏览量

53

下载量

4

CSCD

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

提交

工具集

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

关联资源

相关文章

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

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

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

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

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

相关作者

Sheng

王

戎玫

张广泉

王从银

庄雷

尹传龙

何亚丽

相关机构

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

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

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

暨南大学深圳旅游学院

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