Yaming Zhang, Lijin Wu, Xiaomei Shen, Zehua Shen, Tongli Tang. Dependability Analysis and Verification Technology of Artificial Intelligence Software. In 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022. pages 226-232, IEEE, 2022. [doi]
Abstract is missing.