Fingerprint
Untersuchen Sie die Forschungsthemen von „Synthesizing adaptive test strategies from temporal logic specifications“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
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 Fachzeitschrift › Artikel › Begutachtung