电脑体验，效果更佳

陆公正图谱-自然科学领域：

相关人员

张育 张冬华 张广泉

研究领域

UML状态图 一致性 模型检测 工作流 时序约束

所属机构

江苏苏州 苏州大学计算机科学与技术学院 中国科学院计算机国家重点实验室

标签云