论文降重
免费查重
推荐文章
基于改进Event模型的航路飞行过程垂直碰撞风险研究
改进 Event模型
平行航路
碰撞风险
拼接椭圆锥体
高度层
基于EVENT模型的单向循环航路侧向碰撞风险分析
单向循环航路
侧向碰撞风险
事件模型
间隔
航路容量
基于Event-B和Rodin开展形式化软件工程教学
形式化软件工程
Event-B方法
Rodin
基于Event-B的形式化建模关键技术研究
Event-B形式化方法
形式化建模
精化
需求分析
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2007(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
英孚教育事件
雅思考试
沪江生日
柏林
旅游城市
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
今天．双语时代
主办单位：
今天杂志社
出版周期：
月刊
ISSN：
1002-3917
CN：
CN 22-1084/C
开本：
出版地：
北京市海淀中关村西区天创科技大厦8层805室
邮发代号：
创刊时间：
语种：
出版文献量（篇）
2960
总下载数（次）
3
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
