|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
52778689
Online Users :
627
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"wang farn"
Showing items 21-30 of 43 (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn; Wang, Farn |
| 國立臺灣大學 |
2004-08 |
Formal verification of timed systems: a survey and perspective
|
Wang, Farn |
| 國立臺灣大學 |
2004 |
BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction
|
Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw |
| 國立臺灣大學 |
2004 |
Efficient Verification of Timed Automata with BDD-like Data-Structures
|
Wang, Farn |
| 國立臺灣大學 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2004 |
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
|
Wang, Farn |
| 臺大學術典藏 |
2004 |
BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction
|
Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw; Wang, Farn; Schmidt, K.; Yu, Fang; Huang, Geng-Dian; Wang, Bow-Yaw |
| 臺大學術典藏 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun; Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2003 |
Verification of Real-Time Systemswith BDD-like Data-Structures
|
Wang, Farn |
| 國立臺灣大學 |
1995-04 |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
|
王 凡; Wang, Farn |
Showing items 21-30 of 43 (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page
|
