电脑体验，效果更佳

张毅坤图谱-自然科学领域：

相关人员

徐平 张亚玲 赵明 崔杜武 徐涛 张保卫 杨凯峰 黄西平

研究领域

约束集求解问题 测试方法 静态分析器 计算机辅助分析（CAA） 产品结构表达式 XML Petri网 测试元素

所属机构

陕西西安 国际软件自动化上海公司 西安理工大学计算机科学与工程学院 西安理工大学自动化与信息工程学院

标签云