標題: | 軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定 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 |
顯示於類別: | 研究計畫 |