|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：
移动版主页
A Dual Relaxation Method for Neural Network Verification
点击次数：
论文类型：期刊论文
论文编号：394170
发表时间：2024-08-11
发表刊物：INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
卷号：34
期号：08
页面范围：1199-1220
ISSN号：0218-1940