浙江大学控制学院创新创业中心
- 工控安全技术分享会（第四期）――符号执行技术 2022-05-22
- 工控安全技术分享会（第三期）――自动操作系统内核测试 2022-05-22
- 2022年上半年工控安全协会内训 2022-05-22
- 工控安全技术分享会（第二期）――静态和动态程序分析技术 2022-02-24
- 工控安全技术分享会（第一期）――RTOS的形式化验证 2022-02-24
- 2021年工控安全协会内训 2022-02-24