即時軟體自動化驗證技術

完整後設資料紀錄

DC 欄位	值	語言
dc.contributor.author	林正中	en_US
dc.date.accessioned	2014-12-13T10:34:16Z	-
dc.date.available	2014-12-13T10:34:16Z	-
dc.date.issued	2002	en_US
dc.identifier.govdoc	NSC91-2623-7009-017	zh_TW
dc.identifier.uri	http://hdl.handle.net/11536/92628	-
dc.identifier.uri	https://www.grb.gov.tw/search/planDetail?id=696617&docId=132022	en_US
dc.description.sponsorship	行政院國家科學委員會	zh_TW
dc.language.iso	zh_TW	en_US
dc.title	即時軟體自動化驗證技術	zh_TW
dc.title	Automatic Verification on Real Time Software	en_US
dc.type	Plan	en_US
dc.contributor.department	交通大學資訊工程系	zh_TW
顯示於類別：	研究計畫

文件中的檔案：

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