电脑体验，效果更佳

庞征斌图谱-自然科学领域：

相关人员

张峻 郭阳 屈婉霞 李暾 李永进 杨晓东 夏军

研究领域

模型检验 数据存储布局 多处理机系统 参数化系统 抽象 数据变换 形式化验证 0-1整数规划

所属机构

国防科技大学计算机学院

标签云