刊名
類目
出版年
資料類型
檢索結果筆數(1)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
在搜尋的結果範圍內查詢:
全部
排序
每頁顯示
1
A Survey on Formal Theorem Proving and Model Checking Methods for Validating Digital Systems:確認數位系統設計之定理證明與模型核對正規驗證方法之初期綜覽
陳聰明 Chen, Tsorng-ming;
萬能學報
29 2007.07[民96.07]
頁123+125-138
TCI引用統計