English  |  正體中文  |  简体中文  |  Total items :2830311  
Visitors :  32547556    Online Users :  925
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

"e y t juan"

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 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

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