我校计算机学院(软件学院)周建涛教授课题组在计算机领域国际顶级期刊TCAD发表研究成果2024-01-22 Inner Mongolia University, 22 Jan 2024 近日,我校计算机学院(软件学院)周建涛教授课题组的一项研究成果“A Verification Framework for Time-triggered Networks based on Timed Colored Petri Net”被计算机辅助设计领域顶…