北京科技大学主页平台管理系统杜彦华--中文主页-- 杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126.

+

个人信息

杜彦华Duyanhua

副教授

硕士生导师

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

学科：机械工程

学历：研究生

学位：博士

所在单位：机械工程学院

电子邮箱：

同专业硕导

论文成果

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

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

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

是否译文：否

上一条：杜彦华*, 王啸飞, 吴秀丽, 范玉顺. 服务流程动态分割执行中的时序一致性的实时验证, 计算机集成制造系统, 2012, 18(6): 1315-1326.

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