Breadcrumb Home News & Events Notice RITAS Technical Symposium (2nd Session, 2025) RITAS Technical Symposium (2nd Session, 2025) 2025-05-27 Notice Content View Count: 相关阅读 斯发基斯可信自主系统研究院技术研讨会(2025年第2期) 香港科技大学研究助理教授 Jialun Cao:Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs 深圳可信自主系统“工业人工智能”研讨会(11月3-5日,南方科技大学)