PSL的有界模型检验

您当前的位置：

首页 >

文章列表页 >

PSL的有界模型检验

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

上一篇|下一篇

- PSL的有界模型检验
- Bounded Model Checking of PSL
- 虞蕾，赵宗涛
- 电子学报 2009年37卷第3期页码：614-621
- 作者机构：
  1. 国防科学技术大学计算机学院博士后流动站,湖南,长沙,410073
  2. 第二炮兵工程学院计算机系,陕西,西安,710025
  3. 国防科学技术大学计算机学院博士后流动站湖南长沙,410073
  4. 第二炮兵工程学院计算机系陕西西安,710025
- 作者简介：
- 基金信息：
  国家高技术研究发展计划 (863计划)课题 (No.2007AA010301);国家自然科学基金 (No.60503032);中国博士后科学基金 (No.20080431401)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

69

浏览量

956

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

面向多类型二值分割任务的混合专家自适应统一框架

基于DD域LFM脉冲信号嵌入的OTFS通感一体化波形设计

基于梯度优化的AFDM-ISAC波形高精度感知算法

面向扇出型晶圆级封装的芯片间RDL布线算法

面向近海的多基站协作通信感知一体化设计

相关作者

暂无数据

相关机构

暂无数据