设为首页 | 加入收藏
首页 > 新闻动态 > 正文

CCF形式化专委走南方电网

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

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


上一条：浙江大学王竟亦教授来访 下一条：CCF形式化专委走进兴义民族师范学院

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

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

Email：liuguanjun@tongji.edu.cn