Browsing by Author Jia-Hao Lin
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2023 | 序列特定目標識別和正規證明在系統層級設計中的錯誤路徑生成 Bug Trace Generation by Sequential Waypoint Identification and Formal Proof for System-Level Designs | 林嘉豪; Jia-Hao Lin | 電子工程學研究所 |