Fingerprint
Untersuchen Sie die Forschungsthemen von „Model reduction techniques for the formal verification of hardware dependent software“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Model reduction techniques for the formal verification of hardware dependent software
Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
2
Zitate
(Scopus)