Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Roderick Bloem, Robert Könighofer, Ingo Hans Pill, Franz Röck

Publikation: KonferenzbeitragPaperBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „Synthesizing Adaptive Test Strategies from Temporal Logic Specifications“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science

Engineering