|
English
|
正體中文
|
简体中文
|
0
|
|
???header.visitor??? :
52794390
???header.onlineuser??? :
749
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"wang farn"???jsp.browse.items-by-author.description???
Showing items 16-25 of 43 (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2006-11-15 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2006-07 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn |
| 臺大學術典藏 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 臺大學術典藏 |
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 |
Showing items 16-25 of 43 (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page
|
