电脑体验，效果更佳

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

研究人员

龚正虎 陈火旺 刘才兴 邹华胜 肖德琴 罗铁庚 齐治昌 张焕国

相关术语

时序逻辑 面向实现 实时系统 LOTOS 进程代数 概率规范

标签云