亚洲通_亚洲通官网¥娱乐网址:成功举办可信软件工程中的逻辑方法研讨会
7月25日,由中国计算机学会形式化方法专委会和我校人工智能与大数据院承办的全国可信软件工程中的逻辑方法研讨会(LEDS)在我校崇文楼A201会议室成功举办。北京控制工程研究所、北京大学、清华大学、国防科技大学、华东师范大学、北京航空航天大学、西北工业大学、西安电子科技大学、同济大学、西南大学、南京航空航天大学等国内知名高校的30余位专家代表及我校人工智能与大数据学院教师代表参加了本次研讨会。西安电子科技大学...
2024-07-27