Synthesizing adaptive test strategies from temporal logic specifications


Published in:
Formal Methods in System Design, janv..33
Year:
Oct 14 2019
Publisher:
Springer
ISSN:
0925-9856
Note:
This article is licensed under a Creative Commons Attribution 4.0 International License
Laboratories:


Note: The status of this file is: Anyone


 Record created 2019-10-14, last modified 2020-05-19

Final:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)