即時軟體自動化驗證技術

Title:	即時軟體自動化驗證技術 Automatic Verification on Real Time Software
Authors:	林正中交通大學資訊工程系
Issue Date:	2002
Gov't Doc #:	NSC91-2623-7009-017
URI:	http://hdl.handle.net/11536/92628 https://www.grb.gov.tw/search/planDetail?id=696617&docId=132022
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.