电脑体验，效果更佳

邢学智图谱-自然科学领域：

相关人员

蒋凡 章磊

研究领域

高可信软件 模型驱动测试 UML 约束求解 符号执行 TTCN-3

所属机构

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

标签云