| 信息物理融合系统可信软件形式化建模与分析 | |
| 于振华; 蔡远利; 付晓; 谢文军; 徐海平 | |
| 刊名 | 系统工程理论与实践
 |
| 2014 | |
| 期号 | [db:dc_citation_issue]页码:1857-1867 |
| 关键词 | 演化 &pi 演算 可信软件 Petri网 信息物理融合系统 建模 |
| ISSN号 | 1000-6788 |
| DOI | [db:dc_identifier_doi] |
| URL标识 | 查看原文 |
| WOS记录号 | [db:dc_identifier_wosid] |
| 内容类型 | 期刊论文 |
| URI标识 | http://www.corc.org.cn/handle/1471x/3282905 |
| 专题 | 西安交通大学 |
| 推荐引用方式 GB/T 7714 | 于振华,蔡远利,付晓,等. 信息物理融合系统可信软件形式化建模与分析[J]. 系统工程理论与实践,2014([db:dc_citation_issue]):1857-1867. |
| APA | 于振华,蔡远利,付晓,谢文军,&徐海平.(2014).信息物理融合系统可信软件形式化建模与分析.系统工程理论与实践([db:dc_citation_issue]),1857-1867. |
| MLA | 于振华,et al."信息物理融合系统可信软件形式化建模与分析".系统工程理论与实践 .[db:dc_citation_issue](2014):1857-1867. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论