Synthesizing adaptive test strategies from temporal logic specifications

Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck*

*Korrespondierende/r Autor/in für diese Arbeit

Publikation: Beitrag in einer FachzeitschriftArtikel

Fingerprint

Untersuchen Sie die Forschungsthemen von „Synthesizing adaptive test strategies from temporal logic specifications“. Zusammen bilden sie einen einzigartigen Fingerprint.

Mathematik

Ingenieurwesen & Materialwissenschaft