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

關於TAIR
	計畫說明

"e y t juan"的相關文件

回到依作者瀏覽
依題名排序	依日期排序

顯示項目 1-2 / 2 (共1頁)
1
每頁顯示[10|25|50]項目

機構	日期	題名	作者
國立臺灣海洋大學	2003-03	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems	J.J.P. Tsai; E.Y.T. Juan; A. Sahay
國立臺灣海洋大學	2001-05	Reduction Methods for Real-Time Systems using Delay Time Petri Nets	E.Y.T. Juan; J.J.P. Tsai; T. Murata; Yi Zhou

顯示項目 1-2 / 2 (共1頁)
1
每頁顯示[10|25|50]項目

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