- 年份
- 2015（2）
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)（2）
- 中国科学引文数据库(CSCD)（1）
- 北京大学中文核心期刊目录(北大核心)（1）
- 刊名
- 计算机工程与科学（1）
- 计算机技术与发展（1）
- 作者单位
- 南京大学（2）
- 南京航空航天大学（2）
- 语种
- 汉语（2）
- 关键词
- SysML/MARTE（2）
- 状态机模型（2）
- 系统安全性分析（2）
- XFTA（1）
- 嵌入式系统（1）
- 嵌入式系统模型（1）
- 模型驱动（1）
- 模型驱动工程（1）
- 更多...
- 作者
- 刘雪（2）
- 石娇洁（2）
- 程桢（2）
- 胡军（2）
- 马金晶（2）
- 黄志球（2）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 2 条结果
- 模型驱动的嵌入式系统设计安全性验证方法研究北大核心CSCDCSTPCD
- 一种嵌入式系统模型的安全性分析验证方法CSTPCD