您当前的位置：
首页 >
文章列表页 >
基于模块化Abstract-Refine算法框架的软件模型检测方法
基于模块化Abstract-Refine算法框架的软件模型检测方法
Software Model Checking Method Based on Modular Abstract-Refine Algorithm Framework
- 电子学报 2020年48卷第5期 页码：997-1002
DOI： 10.3969/j.issn.0372-2112.2020.05.022
移动端阅览
HTML全文
参考文献
出版信息
数据统计
79
浏览量
122
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种加载介质钉层的宽角低扫描损耗毫米波双极化相控阵
低轨卫星网络自适应随机接入研究
基于DD域LFM脉冲信号嵌入的OTFS通感一体化波形设计
面向扇出型晶圆级封装的芯片间RDL布线算法
应急场景无人机辅助实时视频传输联合优化策略
相关作者
暂无数据
相关机构
暂无数据
