首頁
資訊
資料
學生
資源
求助
討論
English
教授
助教
排程及教室
大綱
講義
作業與實驗
論文報告
課程專案
學生名單
學期成績
SGM 模型檢驗工具
Cadence SMV 模型檢驗工具
其他驗證工具
CAV Related Sites
驗證著作
台大電機 CAV 課 (92年上學期 王凡教授)
台大電機 CAV 課 (92年上學期 顏嗣鈞教授)
正規方法網站
寫信給教授
聯絡資訊
網站答客問
Computer-Aided Verification
計算機輔助驗證
資訊工程研究所
國立中正大學
621 嘉義縣民雄鄉三興村160號
What's New???
Paper Presentation Schedule
Lab assignment (二) 期限 2006/6/7
Instructor
熊博安 副教授
電子郵件:
pahsiung@cs.ccu.edu.tw
電話:
(05)2720411 ext. 33119
研究室:
EA-512
排程
上課時間:
星期四 (13:10 ~ 16:00)
面談時間:
預約 (
寫電子郵件
)
教室
工程一館 - 205 室
大綱
課程進度
講義
每堂課所使用的講義
作業
作業、解答、評分
專案
專案小組、報告時程、專案成果、專案評分
學生
修課學生名單與課程成績
資源
課程工具與相關資料
九十三年二月十一日更新