Formal Verification Methodology in an Industrial Setup

Lorenzo Servadei, Zhao Han, Michael Werner, Wolfgang Ecker, Keerthikumara Devarajegowda

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

8 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Formal Verification Methodology in an Industrial Setup“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science