电脑体验，效果更佳

屈婉霞图谱-计算机领域：

相关人员

李暾 郭阳 徐炜遐 窦勇 蒋句平 刘功杰 田宝华 汪审权 徐荣生 杨晓东 李思昆

研究领域

谓词抽象 IPC程序包 并行计算机系统 通讯机制 反例 系统FIRMWARE 容错 故障诊断 抽象求精 符号模拟 MP通讯 模型检验 插值 Verilog约束逻辑编程 可靠性

所属机构

国防科技大学计算机学院 湖南长沙 国防科学技术大学计算机学院

标签云