电脑体验，效果更佳

薛月菊图谱-计算机领域：

相关人员

杨士元 王红 冯汝鹏 陈丽红 尹逊和 邓雨春

研究领域

混沌 符号模型检查 RTL设计 稳态跟踪 等价性检查 稳定 形式验证 布尔可满足性

所属机构

清华大学自动化系 清华大学电子工程系 哈尔滨工业大学惯导中心 北京起重运输机械研究所

标签云