电脑体验，效果更佳

属性序列图图谱-计算机领域：

研究人员

李必信 徐宝文 周宇 张鹏程 李雯睿

相关术语

场景 模型检验 形式验证 Bchi自动机 时态逻辑 时间属性序列图 时间Büchi自动机

标签云