臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

關於TAIR
	計畫說明

"avinash sahay"的相關文件

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 1-2 of 2 (1 Page(s) Totally)
1
View [10|25|50] records per page

Institution	Date	Title	Author
中原大學	2003-03	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems	Jeffrey J.P. Tsai;Eric Y.T. Juan;Avinash Sahay
中原大學	1999-01	Knowledge-Based Software Architectures: Acquisition, Specification, and Verification	Jeffrey J.P. Tsai;Alan Liu;Eric Juan;Avinash Sahay

Showing items 1-2 of 2 (1 Page(s) Totally)
1
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| 總筆數 :2875232
	造訪人次 : 54162656 線上人數 : 824 教育部委託研究計畫計畫執行:國立臺灣大學圖書館