岳琦 陈海诠 张伟 张德运 傅鹏 肖健宇

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

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