电脑体验，效果更佳

宁华中图谱-计算机领域：

相关人员

蒋凡

研究领域

形式化方法 标号变迁系统 有限状态机 协议一致性测试 测试生成

所属机构

中国科技大学计算机科学与技术系

标签云