|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"farn wang"
Showing items 11-20 of 53 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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:54Z |
Machine Learning Techniques for Recognizing IoT Devices
|
Lin, Y.C.;Wang, F.; Lin, Y.C.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Regression testing of bug-fixes with AI techniques
|
Yao, L.W.; FARN WANG; Wang, F.;Wu, C.J.;Lee, Y.-C.;Yao, L.W.; Wang, F.; Wu, C.J.; Lee, Y.-C. |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Regression testing based on neural networks and program slicing techniques
|
Wang, F.; Yang, S.-C.; Yang, Y.-L.; FARN WANG; Wang, F.;Yang, S.-C.;Yang, Y.-L. |
| 臺大學術典藏 |
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 |
Showing items 11-20 of 53 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page
|
