Title: | 軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定 An Environment for Software Verification : Automatic Flowchart Analysis and Test Parameters Assignment |
Authors: | 林正中 國立交通大學資訊工程學系 |
Issue Date: | 2003 |
Gov't Doc #: | NSC92-CS-7009-003 |
URI: | http://hdl.handle.net/11536/92148 https://www.grb.gov.tw/search/planDetail?id=813365&docId=154404 |
Appears in Collections: | Research Plans |