English  |  正體中文  |  简体中文  |  0  
???header.visitor??? :  52369676    ???header.onlineuser??? :  925
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"eric y t juan"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

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

Institution Date Title Author
國立臺灣海洋大學 2015-10 MOTION VECTOR PREDICTION USING RESELECTION AMONG CANDIDATE SET S. T. Uou; Eric Y.T. Juan; Jim Z. C. Lai
國立臺灣海洋大學 2013-09 Rough clustering using generalized fuzzy clustering algorithm Jim Z.C.Lai; Eric Y.T.Juan; Franklin J.C.Lai
中原大學 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
亞洲大學 2002 Compositional Verification of Concurrent and Real-Time Systems Y.T.Juan;Eric, Y.T.Juan;蔡進發;Jeffrey, J.P.Tsai
中原大學 2001-12 Modeling and Verification of High-Assurance Properties of Safety-Critical Systems Jeffrey J. P. Tsai;Eric Y. T. Juan
國立臺灣海洋大學 2001-12 Modelling and Verification of High-Assurance Properties of Safety-Critical Systems Jeffrey J. P. Tsai; Eric Y. T. Juan
中原大學 2001-05 Reduction Methods for Real-Time Systems using Delay Time Petri Nets Eric Y. T. Juan;Jeffrey J. P. Tsai;Tadao Murata;Yi Zhou
中原大學 1998-09 Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules Eric Y. T. Juan;Jeffrey J. P. Tsai;Tadao Murata
國立臺灣海洋大學 1998 Compositional verification of concurrent systems using Petri-net-based condensation rules Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata

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