瀏覽 的方式: 作者 Yean-Ru Chen
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 系統元件微調後之高效率模型驗證 Effective Model Checking for Component Adjusted Systems | Yean-Ru Chen; 陳盈如 | 電子工程學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 系統元件微調後之高效率模型驗證 Effective Model Checking for Component Adjusted Systems | Yean-Ru Chen; 陳盈如 | 電子工程學研究所 |