侯刚

个人信息Personal Information

副教授

硕士生导师

性别:男

毕业院校:大连理工大学

学位:博士

所在单位:软件学院、国际信息与软件学院

学科:软件工程

办公地点:综合楼423

电子邮箱:hougang@dlut.edu.cn

扫描关注

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

基于时延STM的软件形化建模与验证方法

点击次数:

论文类型:会议论文

发表时间:2022-06-28

发表刊物:第七届信息安全漏洞分析与风险评估大会

所属单位:软件学院

页面范围:156-165

备注:新增回溯数据