|
English
|
正體中文
|
简体中文
|
2856704
|
|
???header.visitor??? :
53645151
???header.onlineuser??? :
2369
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"farn wang"???jsp.browse.items-by-author.description???
Showing items 26-35 of 53 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
Verifying Recursive Programs Using Intraprocedural Analyzers.
|
Chen, Yu-Fang;Hsieh, Chiao;Tsai, Ming-Hsien;Wang, Bow-Yaw;Wang, Farn; Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
Synthesizing coalitions for multi-agent games
|
Wu, P.; FARN WANG; Ji, W.;Wang, F.;Wu, P.; Ji, W.; Wang, F. |
| 臺大學術典藏 |
2020-06-04T07:48:49Z |
Reachability Analysis at Procedure Level through Timing Coincidence.
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2018-09-10T07:42:16Z |
Procedural-Level Verification of Real-Time Concurrent Systems
|
F. Wang; C.-T. Lo; FARN WANG |
| 臺大學術典藏 |
2018-09-10T06:37:14Z |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
F. Wang; FARN WANG |
| 臺大學術典藏 |
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 |
Showing items 26-35 of 53 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page
|
