搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 3 筆結果,共 3 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 暫存器轉移階層硬體系統模型檢驗 Model Checking RT-Level Hardware Systems | Cheng-Yin Wu; 吳政穎 | 電子工程學研究所 |
2010 | 應用抽象與精細化技術增進RTL電路之安全性屬性檢定效能 Improving Safety Property Checking on RTL Design with Abstraction and Refinement Techniques | Cheng-Yin Wu; 吳政穎 | 電子工程學研究所 |
2013 | 以心電圖為基礎預測急性冠心症病人預後風險之研究 Risk Prediction for Post-ACS Patients Using ECG | Cheng-Ying Wu; 吳政穎 | 電子工程學研究所 |
探索
系所
- 3 電子工程學研究所
指導教授
關鍵字
- 1 acs prognosis
- 1 acs prognosis,ecg
- 1 acs prognosis,ecg,artificial neur...
- 1 formal verification
- 1 formal verification,hardware mode...
- 1 verification
- 1 verification,safety property chec...
- 1 verification,safety property chec...
- 1 verification,safety property chec...
- 1 verification,safety property chec...
- 下一頁 >
全文授權
- 2 同意授權(全球公開)
- 1 有償授權
全文
- 3 true