|
|
???tair.name??? >
???browser.page.title.author???
|
"farn wang"???jsp.browse.items-by-author.description???
Showing items 1-10 of 53 (6 Page(s) Totally)
1 2 3 4 5 6 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-04T07:49:01Z |
An extension of ATL with strategy interaction
|
Wang, F.;Schewe, S.;Huang, C.-H.; Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
Lazy decision diagrams for word-level model manipulation in software verification
|
Wang, F.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
|
FARN WANG; Wang, F.; Schewe, S.; Huang, C.-H.;Peled, D.A.;Schewe, S.;Wang, F.; Huang, C.-H.; Peled, D.A. |
| 臺大學術典藏 |
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:57Z |
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata
|
Ji, W.;Wang, F.;Wu, P.;Lv, Y.; Ji, W.; Wang, F.; Wu, P.; Lv, Y.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:57Z |
Intelligent test oracle construction for reactive systems without explicit specifications
|
Wang, F.;Yao, L.-W.;Wu, J.-H.; Wang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Complexity of node coverage games
|
Wang, F.;Schewe, S.;Wu, J.-H.; Wang, F.; Schewe, S.; Wu, J.-H.; 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 verification of distributed real-time systems with broadcasting behaviors
|
Wang, F.;Yao, L.-W.;Yang, Y.-L.; Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG |
Showing items 1-10 of 53 (6 Page(s) Totally)
1 2 3 4 5 6 > >>
View [10|25|50] records per page
|
