电脑体验，效果更佳

自动机图谱-计算机领域：

研究人员

迟呈英 徐明星 郭秀红 郭刚 石晓龙 斯·劳格劳 苏晓鹏 许进

相关术语

模型检查 动力学仿真 二叉树 等价类 动态语义 定性／定量集成指标 甘特图 模型检测

上位概念

状态反馈 离散事件系统

下位概念

语言 监督控制

标签云