Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Herber Paula, Liebrenz Timm
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Buchtitel: ACM/IEEE International Conference on Formal Methods and Models for System Design, (MEMOCODE 2020)
Seitenbereich: 1-6
Verlag: Wiley-IEEE Press
Status: Veröffentlicht
Veröffentlichungsjahr: 2020
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020), Jaipur, India / virtuell, undefined
Link zum Volltext: https://doi.org/10.1109/MEMOCODE51338.2020.9314998
Autor*innen der Universität Münster
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
| Liebrenz, Timm | Professur für Praktische Informatik (Prof. Herber) |