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

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Fingerprint

Dive into the research topics of 'Enhancing robustness of sequential circuits using application-specific knowledge and formal methods'. Together they form a unique fingerprint.

Computer Science

Engineering

Keyphrases