|
"farn wang"的相关文件
显示项目 16-25 / 53 (共6页)
<< < 1 2 3 4 5 6 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
CPAREC: Verifying recursive programs via source-to-source program transformation (competition contribution)
|
Chen, Y.-F.;Hsieh, C.;Tsai, M.-H.;Wang, B.-Y.;Wang, F.; Chen, Y.-F.; Hsieh, C.; Tsai, M.-H.; Wang, B.-Y.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Model-checking iterated games
|
Huang, C.-H.;Schewe, S.;Wang, F.; Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Time-progress evaluation for dense-time automata with concave path conditions
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Symbolic branching bisimulation-checking of dense-time systems in an environment
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
LTL model checking for recursive programs
|
Huang, G.-D.;Cai, L.-Z.;Wang, F.; Huang, G.-D.; Cai, L.-Z.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
Evolving a test oracle in black-box testing
|
Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG; Wang, F.;Wu, J.-H.;Huang, C.-H.;Chang, K.-H.; Wang, F. |
| 臺大學術典藏 |
2020-06-04T07:48:52Z |
A temporal logic for the interaction of strategies
|
Wang, F.;Huang, C.-H.;Yu, F.; Wang, F.; Huang, C.-H.; Yu, F.; 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 |
273-289 Temporal specification mining for anomaly analysis
|
Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG; Wang, F.; Wang, F.;Wu, J.-H.;Huang, C.-H.;Chang, C.-C.;Li, C.-C. |
显示项目 16-25 / 53 (共6页)
<< < 1 2 3 4 5 6 > >>
每页显示[10|25|50]项目
|
