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

76

浏览量

956

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

基于RSMA的通信导航一体化信号波形设计

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

面向工业多时间尺度软测量的时序解耦与度量对齐Transformer模型

基于非均匀随机相位映射的抗截获通信波形研究

MDW：最小双权差分特征搜索模型

相关作者

暂无数据

相关机构

暂无数据