軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定

完整後設資料紀錄

DC 欄位	值	語言
dc.contributor.author	林正中	en_US
dc.date.accessioned	2014-12-13T10:33:35Z	-
dc.date.available	2014-12-13T10:33:35Z	-
dc.date.issued	2003	en_US
dc.identifier.govdoc	NSC92-CS-7009-003	zh_TW
dc.identifier.uri	http://hdl.handle.net/11536/92148	-
dc.identifier.uri	https://www.grb.gov.tw/search/planDetail?id=813365&docId=154404	en_US
dc.description.sponsorship	行政院國家科學委員會	zh_TW
dc.language.iso	zh_TW	en_US
dc.title	軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定	zh_TW
dc.title	An Environment for Software Verification : Automatic Flowchart Analysis and Test Parameters Assignment	en_US
dc.type	Plan	en_US
dc.contributor.department	國立交通大學資訊工程學系	zh_TW
顯示於類別：	研究計畫