即時軟體自動化驗證技術

標題:	即時軟體自動化驗證技術 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
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.