全域覆盖性相关硕士博士期刊学术论文

工作流模型的验证技术主要包括语法验证、结构验证和语义验证，其中语义验证是层次最高、最为严格的验证，验证的范围十分广泛，也是难点......