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

您当前的位置：

首页 >

文章列表页 >

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

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

上一篇|下一篇

- 实时模型检测中基于驻留环的精确加速
- Exact Acceleration of Real-Time Model Checking Based on Parking Cycle
- 尹传龙，庄雷，王从银
- 电子学报 2011年39卷第3期页码：489-493
- 作者机构：
  1. 郑州大学信息工程学院,河南,郑州,450052
  2. 吉首大学数学与计算机科学学院,湖南吉首,416000
  3. 郑州大学信息工程学院河南郑州,450052
  4. 吉首大学数学与计算机科学学院湖南吉首,416000
- 作者简介：
- 基金信息：
  河南省重大科技攻关 (No.092101210104);郑州市产学研专项 (No.085SCXY00015)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

89

浏览量

1363

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

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

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

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

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

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

相关作者

张广泉

戎玫

朱雪阳

何亚丽

石慧娟

Sheng

张广泉

王

相关机构

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

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

暨南大学深圳旅游学院

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

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