Loading...
research article
Synthesizing adaptive test strategies from temporal logic specifications
October 14, 2019
Loading...
Name
s10703-019-00338-9.pdf
Type
Publisher's version
Access type
openaccess
License Condition
CC BY
Size
838.75 KB
Format
Adobe PDF
Checksum (MD5)
3b31706df98d191b6cd499365800b945