侯刚

个人信息Personal Information

副教授

硕士生导师

性别:男

毕业院校:大连理工大学

学位:博士

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

学科:软件工程

办公地点:综合楼423

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

扫描关注

论文成果

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

A Dual Relaxation Method for Neural Network Verification

点击次数:

发表时间:2024-05-05

发表刊物:INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

ISSN号:0218-1940