逻辑抽象技术相关硕士博士期刊学术论文

在分析各种可达分析方法求解变迁约束可达问题不足的基础上，采用约束程序的办法，针对变迁约束进行约束模型构造和算法研究．该约束模型......