时间约束层次细化工作流建模及验证研究

时间约束层次细化工作流建模及验证研究

钟诗胜，汤新民，李涛

Modeling and verification of timing constraint hierarchical refinement workflow

ZHONG Shi-sheng，TANG Xin-min，LI Tao

. 2006, (11): 0 -0 .