Synthesizing adaptive test strategies from temporal logic specifications
2019
Files
Details
Title
Synthesizing adaptive test strategies from temporal logic specifications
Author(s)
Bloem, Roderick ; Fey, Goerschwin ; Greif, Fabian ; Könighofer, Robert ; Pill, Ingo ; Riener, Heinz ; Röck, Franz
Published in
Formal Methods in System Design
Pages
janv..33
Date
2019-10-14
Publisher
Springer
ISSN
0925-9856
Note
This article is licensed under a Creative Commons Attribution 4.0 International License
Laboratories
LSI1
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LSI1 - Integrated Systems Laboratory 1 (STI/IC)
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2019-10-14