|
"clarke e m"的相關文件
顯示項目 1-8 / 8 (共1頁)
1
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Comparing learning algorithms in automated assume-guarantee reasoning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Comparing learning algorithms in automated assume-guarantee reasoning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automated assume-guarantee reasoning through implicit learning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automated assume-guarantee reasoning through implicit learning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Learning minimal separating DFA's for compositional verification
|
Chen, Y.-F.;Farzan, A.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Learning minimal separating DFA's for compositional verification
|
Chen, Y.-F.;Farzan, A.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Extending automated compositional verification to the full class of omega-regular languages
|
Farzan, A.;Chen, Y.-F.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Extending automated compositional verification to the full class of omega-regular languages
|
Farzan, A.;Chen, Y.-F.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
顯示項目 1-8 / 8 (共1頁)
1
每頁顯示[10|25|50]項目
|
