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

相关阅读

event

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

event

西班牙科尔多瓦大学教授Rafael Muñoz Salinas：Fiducial Markers for Pose Estimation, Recent Research and Practical Use Cases

event

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