论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 经济财经期刊 \
- 邮电经济期刊 \
- 中国电子商情·通信市场期刊 \
A PSL Bounded Model Checking Method
推荐文章
基于混合自动机的PSL模型研究
计算机仿真
混合自动机
混合信号电路
模型
形式化方法
PSL空间关系扩展及其在企业建模中的应用
企业建模
PSL
空间关系
本体
单板条层积材(PSL)施胶方法与热压工艺的研究
单板条层积材
碎单板
施胶方式
热压工艺
物理力学性能
用PSL法生产细木工芯板
边皮
杉木
PSL法
细木工芯板
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | A PSL Bounded Model Checking Method | ||
| 来源期刊 | 中国电子商情：通信市场 | 学科 | 航空航天 |
| 关键词 | EMC PSL 模型检验 航迹规划 | ||
| 年，卷（期） | 2012,（3） | 所属期刊栏目 | 2012（第五届）全国网络与信息安全学术会议优秀论文 |
| 研究方向 | 页码范围 | 79-90 | |
| 页数 | 12页 | 分类号 | V2 |
| 字数 | 语种 | 中文 | |
| DOI | 10.3969/j.issn.1006-6675-B.2012.03.029 | ||
五维指标
引文网络
引文网络
二级参考文献 (7)
共引文献 (13)
参考文献 (3)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1962(1)
- 参考文献（0）
- 二级参考文献（1）
1981(1)
- 参考文献（0）
- 二级参考文献（1）
1983(2)
- 参考文献（1）
- 二级参考文献（1）
1986(1)
- 参考文献（0）
- 二级参考文献（1）
1992(1)
- 参考文献（0）
- 二级参考文献（1）
2004(1)
- 参考文献（0）
- 二级参考文献（1）
2005(1)
- 参考文献（0）
- 二级参考文献（1）
2006(1)
- 参考文献（1）
- 二级参考文献（0）
2007(1)
- 参考文献（1）
- 二级参考文献（0）
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
EMC
PSL
模型检验
航迹规划
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
中国电子商情·通信市场2014
中国电子商情·通信市场2013
中国电子商情·通信市场2012
中国电子商情·通信市场2011
中国电子商情·通信市场2010
中国电子商情·通信市场2009
中国电子商情·通信市场2008
中国电子商情·通信市场2007
中国电子商情·通信市场2006
中国电子商情·通信市场2005
中国电子商情·通信市场2004
中国电子商情·通信市场2003
中国电子商情·通信市场2002
中国电子商情·通信市场2001
中国电子商情·通信市场2000
