| 答辩类型 | 工学硕士论文答辩 |
| 答辩题目 | 基于Coq的PLC程序实时性质形式验证 |
| 答辩人 | 叶华健 |
| 答辩人学号 | 161576 |
| 指导教师 | 周晓宇 |
| 答辩委员会主任 | 黄海平教授 南京邮电大学 |
| 答辩委员 | 徐立臻 教授 东南大学 战陪志 高工 江苏省通信服务有限公司 |
| 答辩秘书 | 邢婉秋 |
| 答辩时间 | 2019.28号 上午9点 |
| 答辩地点 | 计算机楼 |
| 答辩类型 | 工学硕士论文答辩 |
| 答辩题目 | 基于Coq的PLC程序实时性质形式验证 |
| 答辩人 | 叶华健 |
| 答辩人学号 | 161576 |
| 指导教师 | 周晓宇 |
| 答辩委员会主任 | 黄海平教授 南京邮电大学 |
| 答辩委员 | 徐立臻 教授 东南大学 战陪志 高工 江苏省通信服务有限公司 |
| 答辩秘书 | 邢婉秋 |
| 答辩时间 | 2019.28号 上午9点 |
| 答辩地点 | 计算机楼 |
