电脑体验，效果更佳

陈海诠图谱-计算机领域：

相关人员

傅鹏 肖健宇 董皓 张德运

研究领域

并发程序 B函数 字符串核 词序列核 UML状态机 静态程序切片 Web挖掘 后缀树 嵌入式软件 B方法 核学习方法 循环-承载数据依赖 程序依赖图 高可信软件工程 实时系统 时态规约 形式化方法

所属机构

西安交通大学电子与信息工程学院 陕西西安 邵阳学院 湖南邵阳 陕西西安710049硕士研究生 湖南涉外经济学院计算机系

标签云