Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/sigsoft/LiLHY0ZXH20
%A Li, Renjue
%A Li, Jianlin
%A Huang, Cheng-Chao
%A Yang, Pengfei
%A Huang, Xiaowei
%A Zhang, Lijun
%A Xue, Bai
%A Hermanns, Holger
%B ESEC/SIGSOFT FSE
%D 2020
%E Devanbu, Prem
%E Cohen, Myra B.
%E Zimmermann, Thomas
%I ACM
%K dblp
%P 1630-1634
%T PRODeep: a platform for robustness verification of deep neural networks.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#LiLHY0ZXH20
%@ 978-1-4503-7043-1
@inproceedings{conf/sigsoft/LiLHY0ZXH20,
added-at = {2024-08-19T00:00:00.000+0200},
author = {Li, Renjue and Li, Jianlin and Huang, Cheng-Chao and Yang, Pengfei and Huang, Xiaowei and Zhang, Lijun and Xue, Bai and Hermanns, Holger},
biburl = {https://www.bibsonomy.org/bibtex/29063d96f93aa3debdd1796b5a8fd5c49/dblp},
booktitle = {ESEC/SIGSOFT FSE},
crossref = {conf/sigsoft/2020},
editor = {Devanbu, Prem and Cohen, Myra B. and Zimmermann, Thomas},
ee = {https://doi.org/10.1145/3368089.3417918},
interhash = {4016b7fd8802ce8c28d9a1187eb06e35},
intrahash = {9063d96f93aa3debdd1796b5a8fd5c49},
isbn = {978-1-4503-7043-1},
keywords = {dblp},
pages = {1630-1634},
publisher = {ACM},
timestamp = {2024-08-26T07:58:46.000+0200},
title = {PRODeep: a platform for robustness verification of deep neural networks.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#LiLHY0ZXH20},
year = 2020
}