搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 1 筆結果,共 1 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 暫存器轉移階層硬體系統模型檢驗 Model Checking RT-Level Hardware Systems | Cheng-Yin Wu; 吳政穎 | 電子工程學研究所 |
使用篩選器讓結果更精確。
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 暫存器轉移階層硬體系統模型檢驗 Model Checking RT-Level Hardware Systems | Cheng-Yin Wu; 吳政穎 | 電子工程學研究所 |