电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2006, Vol. 34 Issue (6): 1163-1168    DOI:
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于家态的多事务工作流完整性分析
庞善臣1,2, 闫春钢1, 蒋昌俊1,2
1. 同济大学计算机科学与工程系,上海 200092;2. 山东科技大学信息科学与工程学院,山东青岛 266510
Soundness Analysis of the Multi-cases Workflow Model Based on Home State
PANG Shan-chen1,2, YAN Chun-gang1, JIANG Chang-jun1,2
1. Department of Computer Science and Engineering,Tongji University,Shanghai 200092,China;2. School of Information Science and Engineering,Shandong University of Science and Technology,Qingdao,Shandong 266510,China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn 
京ICP备12041980号-1