香港科技大学研究助理教授 Jialun Cao：Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs
通知公告
阅读次数:

相关阅读

event

牛津大学助理研究员张天阳：Spatial Translation and Trajectory Tracing for Surgical Outcome Prediction

event

深圳可信自主系统“工业人工智能”研讨会（11月3-5日，南方科技大学）

event

斯发基斯可信自主系统研究院技术研讨会（2025年第6期）