Eintrag in der Universitätsbibliographie der TU Chemnitz
Sauppe, Matthias ; Werner, Matthias ; Heinkel, Ulrich
AI-based abstraction of test programs
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 978-3-8007-6763-2 | |
| Quelle: | 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 17.-18.03.2026, Würzburg. - Berlin : VDE Verlag GmbH, 2026, S.32 - 40 | |
| Freie Schlagwörter (Deutsch): | Testprogramm , Konvertierung , Abstraktion , UTSL | |
| Freie Schlagwörter (Englisch): | test program , conversion , abstraction , UTSL |
