电脑体验，效果更佳

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

研究人员

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

相关术语

进程 半形式化方法 实时系统 时间自动机 线性时序逻辑 系统描述语言 软件工程 语义 结构 面向对象技术 片上系统 SystemC 形式化技术 性质验证 规范 设计方法学 形式规范 SpecC

标签云