电脑体验，效果更佳

高晓春图谱-计算机领域：

相关人员

黄皓 崔隽 许峰

研究领域

完整性 移动计算 形式化分析 不干扰模型 形式化描述 形式化验证 串空间 安全协议

所属机构

河海大学计算机及信息工程学院 南京大学计算机软件新技术国家重点实验室

标签云