Eintrag in der Universitätsbibliographie der TU Chemnitz
Sauppe, Matthias* ; Manns, Daniel ; Heinkel, Ulrich
Towards Semantic Abstraction of Test Programs
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | Print ISBN: 978-3-8007-6515-7 | |
| URL/URN: | https://ieeexplore.ieee.org/document/11046339 | |
| Quelle: | 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2025, 11.-12.03.2025, Rostock, S. 13-19. - Berlin : VDE VERLAG GMBH, 2025. - 28. Workshop | |
| Freie Schlagwörter (Englisch): | test program , formal specification , abstraction , ATE , Clang |
