公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2019 | Synthesize Models for Quantitative Analysis Using Automata Learning. | Chen, Yu-Fang; Chung, Hsiao-chen; Hung, Wen-Chi; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers |