学术讲座 xingkong星空集团官网 Testing System Intelligence 演讲人:Joseph Sifakis 院士 时间:2023年10月12日 09:30 地点:工xingkong星空集团官网南楼813报告厅