| 標題: | 軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定 An Environment for Software Verification : Automatic Flowchart Analysis and Test Parameters Assignment |
| 作者: | 林正中 國立交通大學資訊工程學系 |
| 公開日期: | 2003 |
| 官方說明文件#: | NSC92-CS-7009-003 |
| URI: | http://hdl.handle.net/11536/92148 https://www.grb.gov.tw/search/planDetail?id=813365&docId=154404 |
| 顯示於類別: | 研究計畫 |

