位置：成果数据库 > 期刊 > 期刊详情页
基于Spin的工作流模型验证
  • 期刊名称：杨秋妹、余阳、李长森，基于Spin的工作流模型验证，计算机科学。33(11suppl)。432-43
  • 时间：0
  • 相关项目：时态工作流过程模型及其柔性研究
同期刊论文项目
时态工作流过程模型及其柔性研究
期刊论文 9 会议论文 6
同项目期刊论文
工作流资源配置禁忌搜索算法优化
XForm在工作流管理系统中的应用研究
基于OLAP的免疫疾病预防数据分析系统的设计和实现
基于Web Portal的工作流客户端的研究与设计
时态工作流过程模型及其合理性验证
一个工作流元模型的分析及其时态扩展