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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
复杂实时反应式系统中的调度研究 [学位论文]
博士, 北京: 中国科学院大学, 2017-11-28
王娟娟
  |  
 
小卫星集群自主任务调度技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-26
吴进
  |  
 
工作流过程图形建模及基于自动机的动态语义 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 1, 页码: 8-13
董广智; 田勇; 柳军飞
  |  
 
一种基于监控理论的软件设计方法:状态性质变换方法 [期刊论文]
控制理论与应用, 2007-01-01, 卷号: 24, 期号: 2
王向云; 张文辉; 王鹏; 李永超; 蔡开元
  |  
 
时态逻辑形式化描述并发系统性质 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
  |  
 

1

 

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