CORC

浏览/检索结果: 共5条,第1-5条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
Specification and Verification of Data and Time in Web Service Composition 会议论文
Taiyuan, PEOPLES R CHINA, SEP 24-25, 2011
作者:  Zhang, Guangquan[1,2];  Di, Haojun[1];  Rong, Mel[3];  Shi, Huijuan[1]
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/10
Specification and verification of data and time in Web service composition 会议论文
Taiyuan, China, September 24, 2011 - September 25, 2011
作者:  Zhang, Guangquan[1,2];  Di, Haojun[1];  Rong, Mei[3];  Shi, Huijuan[1]
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/13
Comparison of Polycystic Ovary Syndrome Models Induced by DHEA and Progestrone with HCG in SD Rats 会议论文
Bali Island, INDONESIA, AUG 04-05, 2011
作者:  Sun, Xiu-hong[1];  Sang, Li-ying[1];  Zhang, Di[1];  Miao, Zhu-lin[2];  Zhong, Xing-ming[2]
收藏  |  浏览/下载:0/0  |  提交时间:2019/12/17
Model checking for asynchronous Web service composition based on XYZ/ADL 会议论文
Taiyuan, China, September 24, 2011 - September 25, 2011
作者:  Zhang, Guangquan[1,2];  Shi, Huijuan[1];  Rong, Mei[3];  Di, Haojun[1]
收藏  |  浏览/下载:0/0  |  提交时间:2019/12/23
Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL 会议论文
Taiyuan, PEOPLES R CHINA, SEP 24-25, 2011
作者:  Zhang, Guangquan[1,2];  Shi, Huijuan[1];  Rong, Mei[3];  Di, Haojun[1]
收藏  |  浏览/下载:0/0  |  提交时间:2019/12/06


©版权所有 ©2017 CSpace - Powered by CSpace