雷達程式轉換與測試驗證

標題:	雷達程式轉換與測試驗證 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
Appears in Collections:	Research Plans

Files in This Item:

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.