|
"wang bow yaw"的相关文件
显示项目 1-7 / 7 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-16T06:40:07Z |
Some Complexity Results for Rings of Petri Nets.
|
Yen, Hsu-Chun;Wang, Bow-Yaw;Yang, Ming-Sheng; Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:56Z |
A Unified Approach for Reasoning about Conflict-Free Petri Nets.
|
Yen, Hsu-Chun;Wang, Bow-Yaw;Yang, Ming-Sheng; Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-04T07:48:50Z |
Synthesize Models for Quantitative Analysis Using Automata Learning.
|
Chen, Yu-Fang;Chung, Hsiao-chen;Hung, Wen-Chi;Tsai, Ming-Hsien;Wang, Bow-Yaw;Wang, Farn; Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
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 |
| 國立政治大學 |
2016-07 |
Optimal Sanitization Synthesis for Web Application Vulnerability Repair
|
郁方; Yu, Fang; Shueh, Ching-Yuan; Lin, Chun-Han; Chen, Yu-Fang; Wang, Bow-Yaw; Bultan, Tevfik |
| 國立臺灣大學 |
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 |
显示项目 1-7 / 7 (共1页)
1
每页显示[10|25|50]项目
|
