电脑体验，效果更佳

邓澍军图谱-机械领域：

相关人员

吴为民 赵燕妮 边计年

研究领域

形式验证 寄存器传输级 约束分解 可满足性模理论 可满足性

所属机构

清华大学计算机科学与技术系

标签云