位置：成果数据库 > 期刊 > 期刊详情页
A Reachability Verification Method Based on Pi-Calculus and Role Network Model for Cross-organizatio
  • 期刊名称：International Journal of Electrical Energy
  • 时间：2013.9.9
  • 页码：137-141
  • 相关项目：电子政务跨组织业务流程模型与柔性控制方法研究
作者： 叶鑫|
同期刊论文项目
电子政务跨组织业务流程模型与柔性控制方法研究
期刊论文 9 会议论文 2
同项目期刊论文
城市应急物资管理流程模型研究——以危险化学品事故为例
面向跨组织业务流程的角色行为验证方法
Cross-organizational dynamic business process oriented role network model
电子政务系统中角色网络扩展模型研究
基于组织的Web服务访问控制模型
基于情景的非常规突发事件决策流程生成方法
电子政务系统中基于组织的访问控制方法和模型
基于聚类的非中心化工作流的适应性切片方法