Fingerprint
Dive into the research topics of 'Model reduction techniques for the formal verification of hardware dependent software'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model reduction techniques for the formal verification of hardware dependent software
Wolfgang Ecker, Volkan Esen, Rainer Leonhard Findenig, Thomas Steininger, Michael Velten
Research output: Chapter in Book/Report/Conference proceedings › Conference contribution › peer-review
2
Citations
(Scopus)