SynPSL: Behavioral Synthesis of PSL Assertions

Florian Eibensteiner, Rainer Leonhard Findenig, Markus Pfaff

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitrag

6 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „SynPSL: Behavioral Synthesis of PSL Assertions“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science

Engineering