电脑体验，效果更佳

规范语言图谱-计算机领域：

研究人员

李广元 赵振西 孙永强 姜利 龚育昌 唐稚松 熊悦 刘春林

相关术语

进程 半形式化方法 实时系统 时间自动机 线性时序逻辑 系统描述语言 软件工程 语义

规范语言-兴趣云标签

彭云全刘春明徐雨波唐稚松晏荣杰