电脑体验，效果更佳

许何图谱-计算机领域：

相关人员

赵建华 李宣东 郑国梁

研究领域

时间自动机 模型检验 形式化方法 时段演算

所属机构

南京计算机科学与技术系 南京大学软件新技术国家重点实验室

标签云