首页 > 正文

CCF形式化专委走南方电网

作者:时间:2024-05-29点击数:

2024年5月24日,由CCF形式化专委吴志林秘书长带队,由董云卫、陈振邦、王竟亦、刘关俊等4为委员组成小组,访问了南方电网公司网络安全测评技术中心,开展学术研讨以及讨论。


版权所有:同济大学 形式逻辑与机器学习实验室

地址:上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email:liuguanjun@tongji.edu.cn