您当前的位置：
首页 >
文章列表页 >
一种面向嵌入式软件体系结构的形式化建模方法
一种面向嵌入式软件体系结构的形式化建模方法
A Formal Modeling Method for Embedded Software Architecture
- 电子学报 2014年42卷第8期 页码：1515-1521
DOI： 10.3969/j.issn.0372-2112.2014.08.009
移动端阅览
HTML全文
参考文献
出版信息
数据统计
55
浏览量
62
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
基于微分动态逻辑的CPS建模与属性验证
面向低空无人机监测的3D MIMO OTFS通信感知一体化方法
基于RSMA的通信导航一体化信号波形设计
端网协同传输技术演进与思考
CloAct：基于克隆关系和模体的关键类识别方法
相关作者
朱敏
李必信
陈乔乔
吉顺慧
李加凯
相关机构
东南大学计算机科学与工程学院
