[an error occurred while processing this directive]
首頁
資訊
資料
學生
資源
求助
討論
English
教授
助教
排程及教室
大綱
講義
作業與實驗
論文報告
課程專案
學生名單
學期成績
SGM 模型檢驗工具
Cadence SMV 模型檢驗工具
其他驗證工具
CAV Related Sites
驗證著作
台大電機 CAV 課 (92年上學期 王凡教授)
台大電機 CAV 課 (92年上學期 顏嗣鈞教授)
正規方法網站
寫信給教授
聯絡資訊
網站答客問
Computer-Aided Verification
計算機輔助驗證
Graduate School of Computer Science and Information Engineering
National Chung Cheng University, Chiayi, Taiwan.
Course Schedule and Room
Schedule
Lectures: Wednesday (10:15 ~ 13:00)
Office Hours: Wednesday (16:00 ~ 17:00)
Room
EA-205
Last Updated: February 7, 2006.