- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Servadei, Lorenzo; Han, Zhao; Werner, Michael; Ecker, Wolfgang; Devarajegowda, Keerthikumara
- Titel:
- Formal Verification Methodology in an Industrial Setup
- Kongress- / Buchtitel:
- EUROMICRO Conference on Digital System Design (DSD)
- Jahr:
- 2019
BibTeX