中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
一种基于多维属性的CPS软件可信性评估方法 [期刊论文]
计算机科学, 2013-01-01, 卷号: 40, 期号: 11, 页码: 187-190
戎玫

 
基于体系结构能耗建模的CPS软件可信性评估方法 [期刊论文]
电子学报, 2013-01-01, 期号: 11, 页码: 2270-2275
张广泉; 张侃; 祝义; 周航

 
描述CPS物理实体的时空Petri网模型 [期刊论文]
计算机科学与探索, 2013-01-01, 期号: 4, 页码: 377-384
张茗泰; 张广泉; 张侃; 陈名才; 封飞

 
CTCS-3级列车运行控制系统的形式建模 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-30
权曌
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace