|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
51649537
在线人数 :
822
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"farn wang"的相关文件
显示项目 31-53 / 53 (共2页)
1 2 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2018-09-10T06:37:13Z |
Symbolic Model Checking for Event-Driven Real-Time Systems
|
J. Yang; A.K. Mok; F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T06:02:45Z |
Parametric Timing Analysis of Real-Time Systems
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T05:27:17Z |
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
|
G.-D. Huang; F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T05:27:17Z |
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
|
Wang, Farn; FARN WANG |
| 臺大學術典藏 |
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 |
显示项目 31-53 / 53 (共2页)
1 2 > >>
每页显示[10|25|50]项目
|
