中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Issued Date
2018 [1]
Language
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 29)

Items/Page:    Sort:
针对软件测试数据生成与Petri网可达性分析的适度函数 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-22
徐雄
  |  
 
基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 [会议论文]
2013全国高性能计算学术年会, 桂林, 2013
李智佳; 胡翔; 焦莉; 王伟锋

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

 
基于变迁集语义的Petri网行为分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
王云河
  |  
 
一种基于攻击图的安全威胁识别和分析方法 [期刊论文]
计算机学报, 2012-01-01, 卷号: 35, 期号: 9, 页码: 1938-1950
吴迪; 连一峰; 陈恺; 刘玉岭

 
基于极小T-不变量增加的Petri网可达性分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
彭建兵
  |  
 
基于极小T-不变量增加的Petri网可达性分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
彭建兵
  |  
 
基于极小T-不变量增加的Petri网可达性分析 [期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵; 焦莉
  |  
 
基于有色Petri网的Web服务组合建模与分析 [期刊论文]
苏州大学学报(工科版), 2010-01-01, 卷号: 30, 期号: 4, 页码: 14-19
张侃; 朱稷涵; 张广泉
  |  
 
制药企业生产物流调度系统建模与优化研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-07
陈丽丽
  |  
 

1 2 3 next

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