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

Search Results

Help

Item hits: (Results 11-20 of 32)

Items/Page:    Sort:
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

 
a petri net-based model for verification of obligations and accountability in cooperative systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009-01-01, 卷号: 39, 期号: 2, 页码: 299-308
Du YuYue; Jiang ChangJun; Zhou MengChu

 
logic petri nets and equivalency [期刊论文]
Information Technology Journal, 2009-01-01, 卷号: 8, 期号: 1, 页码: 95-100
Du Y.Y.; Guo B.Q.

 
test case reduction technique for bpel-based testing [会议论文]
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli
  |  
 
multi-agent test environment for bpel-based web service composition [会议论文]
IEEE International Conference on Cybernetic Intelligent Systems (CIS 2008), Chengdu, PEOPLES R CHINA, SEP 21-24,
Dong Wenli
  |  
 

previous 1 2 3 4 next

 

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