即時軟體自動化驗證技術

Full metadata record

DC Field	Value	Language
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
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.