학술논문
Synthesizing adaptive test strategies from temporal logic specifications
Document Type
Article
Author
Source
In: Formal Methods in System Design . (Formal Methods in System Design, 1 December 2019, 55(2):103-135)
Subject
Language
English
ISSN
15728102
09259856
09259856