电脑体验，效果更佳

屈婉霞图谱-自然科学领域：

相关人员

郭阳 李暾 庞征斌 杨晓东

研究领域

多处理机系统 显式状态枚举 可达性分析 Cache一致性协议 形式化验证 参数化系统 模型检验 抽象

所属机构

国防科技大学计算机学院

标签云