English  |  正體中文  |  简体中文  |  2856704  
???header.visitor??? :  53655600    ???header.onlineuser??? :  1555
???header.sponsordeclaration???
 		 
???search.scope??? ???search.advance???
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???
???ui.leftmenu.explanation???

???ui.leftmenu.bartitle???
Repositories
Author
Title
Date
???ui.leftmenu.statisticschart???
???ui.leftmenu.realtimefacts???
???ui.leftmenu.trend???

???index.news???
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

???ui.leftmenu.copyrighttitle???
???ui.leftmenu.copyrightpublisher???
???ui.leftmenu.copyrightconference???

???ui.leftmenu.link???
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
???tair.name??? >  ???browser.page.title.author???

"farn wang"???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 46-53 of 53  (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2018-09-10T04:35:37Z Efficient Verification of Timed Automata with BDD-like Data-Structures F. Wang,; FARN WANG
臺大學術典藏 2018-09-10T04:15:26Z Efficient and User-Friendly Verification. F. Wang; P.-A. Hsiung; FARN WANG
臺大學術典藏 2018-09-10T04:15:26Z Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram F. Wang; FARN WANG
臺大學術典藏 2018-09-10T04:15:26Z Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures F. Wang; K. Schmidt; FARN WANG
臺大學術典藏 2018-09-10T03:50:34Z Parametric Optimization of Open Real-Time Systems F. Wang; H.-C. Yen; FARN WANG
臺大學術典藏 2018-09-10T03:50:34Z RED: Model-Checker for Timed Automata with Clock-Restriction Diagram F. Wang; FARN WANG
臺大學術典藏 2018-09-10T03:50:34Z Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram F. Wang; FARN WANG
臺大學術典藏 2015 Model-checking fair dense-time systems with propositions and events Wang, F.; Wang, F.; FARN WANG

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

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