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

Search Results

Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
基于变迁集语义的Petri网行为分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-06-01
王云河
  |  
 
基于状态空间的无界Petri网分析技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-28
江波
  |  
 
信用评级系统的设计与开发 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 7, 页码: 1730-1734
蔡玉宝; 左春; 张正
  |  
 
一种WS-BPEL流程的运行时监控方法 [期刊论文]
电子学报, 2007-01-01, 卷号: 35, 期号: z2, 页码: 174-178
陈今梁; 吴国全; 魏峻
  |  
 
Petri网共享P型子网合成及其在系统设计中的应用 [期刊论文]
系统仿真学报, 2007-01-01, 卷号: 19, 期号: 2, 页码: 355-360,404
夏传良; 鞠彦兵; 李盛恩
  |  
 
非对称选择网类共享子网合成及其在系统建模中的应用 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 6, 页码: 274-278,288
夏传良
  |  
 
一种支持构件动态重配置的部署框架 [期刊论文]
计算机工程与应用, 2006-01-01, 卷号: 42, 期号: 15, 页码: 82-85,124
何冰; 马波
  |  
 
一种计算机取证中需求定义的方法 [期刊论文]
电子学报, 2006-01-01, 卷号: 34, 期号: 5, 页码: 921-923
孙波; 刘欣然; 孙玉芳
  |  
 
网络中主机和服务的状态检测 [期刊论文]
计算机科学, 2005-01-01, 卷号: 32, 期号: 5, 页码: 79-81,139
李琦; 蒙杨; 卿斯汉
  |  
 
基于物理的流体模拟动画综述 [期刊论文]
计算机辅助设计与图形学学报, 2005-01-01, 卷号: 17, 期号: 12, 页码: 2581-2589
柳有权; 刘学慧; 朱红斌; 吴恩华
  |  
 

1 2 next

 

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