基于时间动态下推网络可达性分析

您当前的位置：

首页 >

文章列表页 >

基于时间动态下推网络可达性分析

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

上一篇|下一篇

- 基于时间动态下推网络可达性分析
- Reachability Analysis for Time Dynamic Pushdown Networks
- 钱俊彦，徐力，古天龙，赵岭忠，蔡国永
- 电子学报 2017年45卷第9期页码：2241-2249
- 作者机构：
  桂林电子科技大学广西可信软件重点实验室,广西,桂林,541004
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61262008，No.61562015，No.61572146，No.U1501252）;广西高等学校高水平创新团队及卓越学者计划;广西自然科学基金 (No.2014GXNSFAA118365，No.2015GXNSFDA139038）;广西可信软件重点实验室重点基金;桂林电子科技大学创新团队
- DOI： 10.3969/j.issn.0372-2112.2017.09.027
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

166

浏览量

375

下载量

1

CSCD

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

提交

工具集

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

关联资源

相关文章

TF-PEFT：面向脑电基础模型的时频双流参数高效微调框架

基于全局初检与局部列表精检的OTFS两阶段检测方法

端网协同传输技术演进与思考

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

面向低空无人机监测的3D MIMO OTFS通信感知一体化方法

相关作者

暂无数据

相关机构

暂无数据