English  |  正體中文  |  简体中文  |  總筆數 :2818750  
造訪人次 :  28383131    線上人數 :  604
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 		 
搜尋範圍 進階搜尋
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR
計畫說明

瀏覽
典藏機構
作者
題名
日期
統計圖表
機構即時統計
學術趨勢

消息
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

著作權
出版社及期刊政策查詢
TAIR著作權會議記錄

相關連結
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
臺灣機構典藏 TAIR >  依作者瀏覽

"e juan"的相關文件

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

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

機構 日期 題名 作者
亞洲大學 2003-03 Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems Jeffrey J. P. Tsai;E. Juan;A. Sahay
亞洲大學 2002.08 Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems 蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan
中原大學 2002-04 Compositional Verification of Concurrent and Real-Time Systems E. Juan;J. Tsai
亞洲大學 2000.06 A Compositional Approach for Modeling and Verification of Component-Based Software Systems 蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan
國立臺灣海洋大學 1999-01 Knowledge-Based Software Architecture: Acquisition, Specification, and Verification J. Tsai; A. Liu; E. Juan; A. Sahay
亞洲大學 1998 Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules Jeffrey J. P. Tsai;E. Juan;T. Murata
亞洲大學 1997.08 Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems 蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan
亞洲大學 1997-08 Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems Jeffrey J. P. Tsai;E. Juan
亞洲大學 1997-01 Parallel Evalutation Model for Software Architecture Specification Jeffrey J. P. Tsai;B. Li ;E. Juan
亞洲大學 1996.10 An Efficient Analysis Method for Large-Scale Concurrent Systems E.Juan;E.Juan;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata
亞洲大學 1996.08 Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets 蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;P.Chang;P.Chang;E.Juan;E.Juan

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

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team