Neubauer, Kai
[VerfasserIn];
Haubelt, Christian
[VerfasserIn];
Wanko, Philipp
[VerfasserIn];
Schaub, Torsten
[VerfasserIn]
;
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen
Systematic test case instance generation for the assessment of system-level design space exploration approaches