Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

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

Publikation: KonferenzbeitragPaper

Fingerprint

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

Ingenieurwesen & Materialwissenschaft