|
English
|
正體中文
|
简体中文
|
Total items :2827024
|
|
Visitors :
32057872
Online Users :
1149
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"yu fang"
Showing items 51-59 of 59 (3 Page(s) Totally)
<< < 1 2 3
View [10|25|50] records per page
| 國立政治大學 |
2011-05 |
Patching vulnerabilities with sanitization synthesis
|
Yu, Fang;Alkhalaf, Muath;Bultan, Tevfik; 郁方 |
| 國立政治大學 |
2011 |
A temporal logic for the interaction of strategies
|
Wang, F.;Huang, C.-H.;Yu, Fang; 郁方 |
| 國立政治大學 |
2011 |
String abstractions for string verification
|
Yu, Fang;Bultan, T.;Hardekopf, B.; 郁方 |
| 臺大學術典藏 |
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 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 |
| 國立臺灣大學 |
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 |
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 |
Showing items 51-59 of 59 (3 Page(s) Totally)
<< < 1 2 3
View [10|25|50] records per page
|
