电脑体验，效果更佳

任艳颖图谱-计算机领域：

相关人员

王彬 林争辉

研究领域

状态爆炸 功能验证模型 基于事务的形式验证

所属机构

上海交通大学电子工程系

标签云