提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tase/LiangRL00023AU-Liang、Zhen阿仁、德金AU-刘万伟AU-Wang、JiAU-Yang、Wenjing阿雪、白TI-基于集边界分析的神经网络安全验证。BT——软件工程的理论方面——第17届国际研讨会，TASE 2023，英国布里斯托尔，2023年7月4日至6日，会议记录SP-248型欧洲药典-2672023年上半年//执行-10.1007/978-3-031-35257-7_15UR-（欧元）https://doi.org/10.1007/978-3-031-35257-7_15急诊室-