|
"wang farn"的相關文件
顯示項目 1-10 / 43 (共5頁)
1 2 3 4 5 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Timing Behavior Analysis for Real-Time Systems
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Theoretical aspects of computing
|
Sampaio, Augusto;Wang, Farn; Sampaio, Augusto; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:55Z |
Efficient model-checking of dense-time systems with time-convexity analysis
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:51Z |
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
|
Wang, Farn;Huang, Geng-Dian; Wang, Farn; Huang, Geng-Dian; FARN WANG |
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
2020-06-04T07:48:49Z |
Reachability Analysis at Procedure Level through Timing Coincidence.
|
Wang, Farn; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-05-04T08:07:19Z |
Error Propagation Analysis of Real-Time Data Intensive Applications.
|
Kuo, Tei-Wei; Locke, Doug; Wang, Farn; TEI-WEI KUO |
顯示項目 1-10 / 43 (共5頁)
1 2 3 4 5 > >>
每頁顯示[10|25|50]項目
|
