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

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：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

浏览量

374

下载量

1

CSCD

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

提交

工具集

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

关联资源

相关文章

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

应急场景无人机辅助实时视频传输联合优化策略

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

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

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

相关作者

暂无数据

相关机构

暂无数据