电脑体验，效果更佳

徐雨波图谱-计算机领域：

相关人员

晏荣杰 刘春明 唐稚松 李广元

研究领域

有限精度时间自动机 模型检测 符号化方法 模型检验 可达性

所属机构

中国科学院研究生院 中国科学院软件研究所计算机科学重点实验室

标签云