|
|||||
|
|
Inference of Timed Transition Systems |
|
| Authors: | Olga Grinchtein Bengt Jonsson Martin Leucker |
| Affiliation: | IT Department, Uppsala University, Uppsala, Sweden |
| Abstract: | |
| Keywords: | model inference model learning timed systems |
| 本文献已被 ScienceDirect 等数据库收录！ | |