您当前所在位置: 首页 > 学者

宋巍

  • 9浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 231下载

  • 0评论

  • 引用

期刊论文

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets

宋巍Wei Song Xiaoxing Ma Chunyang Ye Wanchun Dou Jian Lü.

Proceedings of the 9th International Conference on Quality Software (QSIC), 2009, pp. 92-97.,-0001,():

URL:

摘要/描述

 

关键词:

版权说明:以下全部内容由宋巍上传于   2012年05月03日 09时33分47秒,版权归本人所有。

我要评论

全部评论 0

本学者其他成果

    同领域成果