基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
基于BIP框架的DPU系统建模与验证
数据处理单元
行为—交互—优先级框架
形式化方法
建模
验证
AADL软件容错系统建模与评估
AADL
可靠性
广义随机Pelri网
ATC
基于UML的CAPP系统建模与开发
UML
CAPP
系统建模,
IDEF
软件声纳的目标自动跟踪系统建模
软件声纳
模型驱动体系结构
平台无关模型
主题事务
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 安全攸关软件系统建模与验证专题前言?
来源期刊 软件学报 学科
关键词
年,卷(期) 2015,(2) 所属期刊栏目
研究方向 页码范围 179-180
页数 2页 分类号
字数 2113字 语种 中文
DOI 10.13328/j.cnki.jos.004789
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 毛晓光 国防科学技术大学计算机学院 23 219 5.0 14.0
2 刘超 北京航空航天大学计算机学院 138 2512 20.0 47.0
3 李宣东 3 73 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (2)
同被引文献  (9)
二级引证文献  (0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(1)
  • 引证文献(1)
  • 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
软件学报
月刊
1000-9825
11-2560/TP
16开
北京8718信箱
82-367
1990
chi
出版文献量(篇)
5820
总下载数(次)
36
论文1v1指导