English  |  正體中文  |  简体中文  |  0  
???header.visitor??? :  51660771    ???header.onlineuser??? :  965
???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 36-53 of 53  (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2018-09-10T04:59:30Z Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures F. Wang.; FARN WANG
臺大學術典藏 2018-09-10T04:59:30Z Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions F. Wang.; FARN WANG
臺大學術典藏 2018-09-10T04:59:29Z Formal Verification of Timed Systems: A Survey and Perspective Falk, H.F. Wang.; Falk, H.; FARN WANG
臺大學術典藏 2018-09-10T04:35:39Z Timing Parameter Characterization of Real-Time Systems F. Wang; H.-C. Yen.; FARN WANG
臺大學術典藏 2018-09-10T04:35:39Z Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems F. Wang; G.-D. Huang; F. Yu.; FARN WANG
臺大學術典藏 2018-09-10T04:35:38Z Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems F. Wang; FARN WANG
臺大學術典藏 2018-09-10T04:35:38Z Symbolic Simulation of Real-Time Concurrent Systems F. Wang; G.-D. Hwang; F. Yu; FARN WANG
臺大學術典藏 2018-09-10T04:35:38Z Verification of Embedded Systems with BDD-like Data-Structures F. Wang; FARN WANG
臺大學術典藏 2018-09-10T04:35:38Z TCTL Inevitability Analysis of Dense-Time Systems F. Wang; G.-D. Hwang; F. Yu; FARN WANG
臺大學術典藏 2018-09-10T04:35:37Z Real-Time Distributed System Specification and Verification in APTL F. Wang;A.K. Mok;E.A. Emerson; F. Wang; A.K. Mok; E.A. Emerson; FARN WANG
臺大學術典藏 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 36-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