Enhancing robustness of sequential circuits using application-specific knowledge and formal methods

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

4 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Enhancing robustness of sequential circuits using application-specific knowledge and formal methods“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science

Engineering

Keyphrases