https://scholars.lib.ntu.edu.tw/handle/123456789/497119
Title: | Synthesize Models for Quantitative Analysis Using Automata Learning. | Authors: | Chen, Yu-Fang Chung, Hsiao-chen Hung, Wen-Chi Tsai, Ming-Hsien Wang, Bow-Yaw FARN WANG |
Issue Date: | 2019 | Start page/Pages: | 75-92 | Source: | Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497119 | DOI: | 10.1007/978-3-030-31277-0_6 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.