位置：成果数据库 > 会议 > 会议详情页
A Workflow Model with Temporal Logic Constraints and Its Automated Verification
  • 所属机构名称：中山大学
  • 成果类型：会议
  • 相关项目：时态工作流过程模型及其柔性研究
同会议论文项目
时态工作流过程模型及其柔性研究
期刊论文 9 会议论文 6
同项目会议论文
Research on Dynamic Task Assignment in Grid Workflow System
A Time Workflow Model with Temporal Logic Constraints and Its Verification
Research on Scheduling Algorithm for Workflow-based Grid Resource
State Machine Workflow Modeling and Dataflow Analysis
An Optimal Partner Selection Approach Based on Prospect Theory