• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. CBR: A component-based reduction method for semantics verification of workflow processes EI SCOPUS 期刊论文 认领

作者:Zhou J.-T.;Shi M.-L.;Ye X.-M.

作者全称:Zhou, Jian-Tao;Shi, Mei-Lin;Ye, Xin-Ming

作者机构:[Zhou, Jian-Tao ;Shi, Mei-Lin ] Department of Computer Science, Tsinghua University, Beijing 100084, China;[Zhou, Jian-Tao ;Ye, Xin-Ming ] College of 更多

第一作者:Zhou, Jian-Tao

通讯作者:Zhou, J.-T.(cszjtao@mail.imu.edu.cn)

通讯作者地址:Zhou, J.-T.; Department of Computer Science, Tsinghua University, Beijing 100084, China; 电子邮件: cszjtao@mail.imu.edu.cn

来源:Tien Tzu Hsueh Pao/Acta Electronica Sinica,2005,Vol.33,Issue.6

摘要:Verification methods of workflow processes always focus on the control flow, while only a few developments have been done on the verification combinin 更多

更新时间:Mar 28, 2019
TOP