Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Timo Schrijvers"'
Autor:
Toon Lenaerts, Falk Howar, Timo Schrijvers, Frits W. Vaandrager, Bharat Garhewal, R. A. M. M. Smits
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030634605
IFM
IFM
Model learning (a.k.a. active automata learning) is a highly effective technique for obtaining black-box finite state models of software components. We show how one can boost the performance of model learning techniques for register automata by extra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fb1757e04f1c8caef1eae68ef78439b
https://doi.org/10.1007/978-3-030-63461-2_2
https://doi.org/10.1007/978-3-030-63461-2_2
Autor:
Brijesh Dongol, Elena Troubitsyna
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected fro