|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
扫描关注
基于层次化时间STM软件设计的形式化验证
点击次数：
发表时间：2014-01-01
发表刊物：计算机科学
所属单位：软件学院
期号：8
页面范围：42-46
ISSN号：1002-137X
备注：新增回溯数据
|
|
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
点击次数：
发表时间：2014-01-01
发表刊物：计算机科学
所属单位：软件学院
期号：8
页面范围：42-46
ISSN号：1002-137X
备注：新增回溯数据