%0 Conference Paper %1 conf/qrs/ZhangWSST22 %A Zhang, Yaming %A Wu, Lijin %A Shen, Xiaomei %A Shen, Zehua %A Tang, Tongli %B QRS Companion %D 2022 %I IEEE %K dblp %P 226-232 %T Dependability Analysis and Verification Technology of Artificial Intelligence Software. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2022c.html#ZhangWSST22 %@ 979-8-3503-1991-0

@inproceedings{conf/qrs/ZhangWSST22, added-at = {2023-04-22T00:00:00.000+0200}, author = {Zhang, Yaming and Wu, Lijin and Shen, Xiaomei and Shen, Zehua and Tang, Tongli}, biburl = {https://www.bibsonomy.org/bibtex/2d1b6c49a7df1a612aa02c3f3e48049e1/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2022c}, ee = {https://doi.org/10.1109/QRS-C57518.2022.00041}, interhash = {ae9ccff4452526a8c52973292ae9d2d5}, intrahash = {d1b6c49a7df1a612aa02c3f3e48049e1}, isbn = {979-8-3503-1991-0}, keywords = {dblp}, pages = {226-232}, publisher = {IEEE}, timestamp = {2024-04-09T13:27:48.000+0200}, title = {Dependability Analysis and Verification Technology of Artificial Intelligence Software.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2022c.html#ZhangWSST22}, year = 2022 }