| 答辯類型 | 工學碩士論文答辯 |
| 答辯題目 | 基于Coq的PLC程序實時性質形式驗證 |
| 答辯人 | 葉華健 |
| 答辯人學号 | 161576 |
| 指導教師 | 周曉宇 |
| 答辯委員會主任 | 黃海平教授 南京郵電大學 |
| 答辯委員 | 徐立臻 教授 bet356手机版唯一官网 戰陪志 高工 江蘇省通信服務有限公司 |
| 答辯秘書 | 邢婉秋 |
| 答辯時間 | 2019.28号 上午9點 |
| 答辯地點 | 計算機樓 |
發布者：邢婉秋發布時間：2019-05-28浏覽次數：369
| 答辯類型 | 工學碩士論文答辯 |
| 答辯題目 | 基于Coq的PLC程序實時性質形式驗證 |
| 答辯人 | 葉華健 |
| 答辯人學号 | 161576 |
| 指導教師 | 周曉宇 |
| 答辯委員會主任 | 黃海平教授 南京郵電大學 |
| 答辯委員 | 徐立臻 教授 bet356手机版唯一官网 戰陪志 高工 江蘇省通信服務有限公司 |
| 答辯秘書 | 邢婉秋 |
| 答辯時間 | 2019.28号 上午9點 |
| 答辯地點 | 計算機樓 |