雷達程式轉換與測試驗證

標題:	雷達程式轉換與測試驗證 The Translation and Verification of Radar Software
作者:	黃國安國立交通大學資訊工程學系
關鍵字:	雷達;程式轉換;軟體測試;Radar;Program transformation;Software testing
公開日期:	2001
官方說明文件#:	NSC90-2623-7009-003
URI:	http://hdl.handle.net/11536/93676 https://www.grb.gov.tw/search/planDetail?id=620982&docId=115778
顯示於類別：	研究計畫

文件中的檔案：

若為 zip 檔案，請下載檔案解壓縮後，用瀏覽器開啟資料夾中的 index.html 瀏覽全文。