English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  52501467    Online Users :  727
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"eric y t juan"

Return to Browse by Author
Sorting by Title Sort by Date

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