北京科技大学主页平台管理系统杜彦华--中文主页-- 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.

+

个人信息

杜彦华Duyanhua

副教授

硕士生导师

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

学科：机械工程

学历：研究生

学位：博士

所在单位：机械工程学院

电子邮箱：

同专业硕导

论文成果

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

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.

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

是否译文：否

上一条：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.

下一条：Yanhua Du*, Xitong Li, PengCheng Xiong. A Petri Net Approach to Mediation-aided Composition of Web Services. IEEE Transactions on Automation Science and Engineering (TASE), 2012, 9(2): 429-435.