电脑体验，效果更佳

徐启文图谱-计算机领域：

相关人员

李宣东 郑国梁 裴玉

研究领域

模型检验 反应式系统 有限性性质 时段时序逻辑

所属机构

江苏南京 澳门大学科技学院 南京大学计算机科学与技术系

标签云