即時軟體自動化驗證技術

標題:	即時軟體自動化驗證技術 Automatic Verification on Real Time Software
作者:	林正中交通大學資訊工程系
公開日期:	2002
官方說明文件#:	NSC91-2623-7009-017
URI:	http://hdl.handle.net/11536/92628 https://www.grb.gov.tw/search/planDetail?id=696617&docId=132022
顯示於類別：	研究計畫

文件中的檔案：

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