论文降重
免费查重
Iohas event
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于改进Event模型的航路飞行过程垂直碰撞风险研究
改进 Event模型
平行航路
碰撞风险
拼接椭圆锥体
高度层
基于EVENT模型的单向循环航路侧向碰撞风险分析
单向循环航路
侧向碰撞风险
事件模型
间隔
航路容量
基于Event-B和Rodin开展形式化软件工程教学
形式化软件工程
Event-B方法
Rodin
基于Event-B的形式化建模关键技术研究
Event-B形式化方法
形式化建模
精化
需求分析
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2010(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
健康时尚
主办单位：
广东炎黄保健研究会
出版周期：
月刊
ISSN：
CN：
44-1567/R
开本：
出版地：
邮发代号：
创刊时间：
语种：
chi
出版文献量（篇）
4475
总下载数（次）
5
期刊文献
相关文献
推荐文献
