VIS系统相关论文
文章在分析形式化验证／综合系统VIS的基础上，改进了该电子系统中的关键技术－－二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统......
国际经济研讨会议涉及到政治、经济、文化和外交等多个方面,对于国家的发展会产生巨大的影响,也会带来更多的发展机遇。国际经济研......
