电脑体验，效果更佳

裴玉图谱-计算机领域：

相关人员

徐启文 郑国梁 李宣东

研究领域

线性时段性质 混成自动机 实时和混成系统 有限性性质 模型检验 时段时序逻辑 反应式系统

所属机构

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

标签云