학술논문
Enhancing active model learning with equivalence checking using simulation relations
Document Type
Article
Author
Source
In: Formal Methods in System Design . (Formal Methods in System Design, December 2022, 61(2-3):164-197)
Subject
Language
English
ISSN
15728102
09259856
09259856