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

Search Results

Help

Item hits: (Results 1-10 of 14)

Filters    
Items/Page:    Sort:
hypergraph partitioning for the parallel computation of continuous petri nets [会议论文]
11th International Conference on Parallel Computing Technologies, PaCT 2011, Kazan, Russia, September
Ding Zuohua; Shen Hui; Cao Jianwen
  |  
 
property checking for 1-place-unbounded petri nets [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
  |  
 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
canonical transition set semantics for petri nets [会议论文]
31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrency, Braga, PORTUGAL, JUN 21-25,
Wang Yunhe; Jiao Li
  |  
 
application of logical petri nets in web service composition [会议论文]
2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010, Xian, China, August 4,
Zhu ChangYan; Du YuYue
  |  
 
timed modeling and verification of bpel processes using time petri nets [会议论文]
9th International Conference on Quality Software, QSIC 2009, Jeju, Korea, Republic of, August 24,
Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian

 
liveness analysis of parallel programs petri net models [会议论文]
2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878
Liu Wei; Du YuYue; Cui HuanQing; Yan Chun

 
test case generation method for bpel-based testing [会议论文]
International Conference on Computational Intelligence and Natural Computing, Wuhan, PEOPLES R CHINA, JUN 06-07,
Dong Wenli

 
construction and test of web service solution for e-government [会议论文]
International Conference on Computational Intelligence and Natural Computing, Wuhan, PEOPLES R CHINA, JUN 06-07,
Dong Wenli

 
test case reduction technique for bpel-based testing [会议论文]
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli
  |  
 

1 2 next

 

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