电脑体验，效果更佳

系统描述语言图谱-计算机领域：

研究人员

李广元 杨洪斌 刘音 胡静 何祖军 唐稚松 吴悦

相关术语

性质验证 自然语言 规范语言 时间自动机 系统级设计 线性时序逻辑 可综合性 实时系统

标签云