北京科技大学主页平台管理系统杜彦华--中文主页-- Yanhua Du*, Benyuan Yang, Wei Tan. A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services. The 22nd IEEE International Conference on Web Services (ICWS 2015), June 27- July 2, 2015, New York, USA: 567-574.

+

个人信息

杜彦华Duyanhua

副教授

硕士生导师

毕业院校：中国铁道科研院电子所

学科：机械工程

学历：研究生

学位：博士

所在单位：机械工程学院

电子邮箱：

同专业硕导

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Yanhua Du*, Benyuan Yang, Wei Tan. A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services. The 22nd IEEE International Conference on Web Services (ICWS 2015), June 27- July 2, 2015, New York, USA: 567-574.

发布时间：2022-04-05 点击次数：

是否译文：否

上一条：杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126.

下一条：Yanhua Du, Pengcheng Xiong*, Yushun Fan, Xitong Li. Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (TSMCA), 2011, 41(6):1166-1181.